Hello, this is kind of a long shot and I apologize if this is not coherent with HN guidelines. Happy to remove the post if needed.<p>I'm working in an organization that uses GitHub Enterprise, and we are experiencing a very strange issue. We have opened a ticket with GitHub, but have not received a reply so far.<p>I was wondering if anyone here has experienced the same problem and can give us some pointers:<p>The PR pages are no longer reflecting the commit history of that PR. The only way to "see" the new commits in the UI is to change the base or close and reopen the PR.<p>Additionally, no actions are run on the PR when a new commit is pushed (we have a number of checks that are run against a new commit; this is no longer happening).<p>The Git history is preserved, so everything works from the command line, but the UI is just broken.<p>This behavior started without any action from our side (no config changes, etc.).<p>Thanks!