[jbergknoff]

Yeah, I'm seeing the same. The branch reflects the new commit, but the PR open for that branch does not show it.

[spockz]

I’ve had this before. Closing and reopening the PR does seem to do the trick sometimes.