New commits not showing up in PR

I opened a pull request here:

I then added some commits later, did a forced push (which showed), then added a few more commits and pushed them but those were not showing in the PR. I tried rebasing the branch and doing another forced push hoping github would resync the PR, but to no avail. I realize there can sometimes be a slight delay, but it’s been several hours now and still the PR appears not in sync with the branch that it is merging.

Actual diff it should show: Comparing RB-2.5..feature/fix-pkgconf-lib-suffix · mcmtroffaes/openexr · GitHub (not matching the PR above sadly)

Any idea what’s going on?

Update: The problem seems to have fixed itself today with another forced push.