Previously, every git push
to an open Pull Request was shown immediately. It might or might not have triggered CI, but the commit showed up in the "Commits" tab right away.
Now, every time when I push another commit to the Pull Request branch, it doesn't show up immediately, and instead the "Processing updates" loading indicator appears:
This is worrying, because the GitHub interface still allows the Pull Request to be merged, even though some commits are not processed yet.
I haven't changed any configuration though, neither in the repo, nor in my profile.
What happened? Why the change?
The "external link" icon refers to the page More details provided when a pull request is merged indirectly or is still processing updates. The page contains a paragraph Pushed commits are still being processed, which might be relevant, but it doesn't have a lot of info:
Specifically, it doesn't explain why it now "takes longer than usual for [new commits] to be processed and appear in the commit list".