So I've noticed recently that some prs are not picked up even though they are properly labeled (we use the default labels).
What they have in common is that they're all pr's that were merged very quickly by myself (usually in the frantic hours of late-night debugging)
Is there some sort of debounce/caching/rate limiting happening? (I have the github token set up as per the docs)
I understand it's not really a typical usecase, but sometimes the PR flow is too much overhead but you still want to keep nice changelogs. So if this is expected behavior that's totally fair. But maybe it would be good to document it?