I work at a company with a monorepo. We host our repo on github.

We used to use the github PR workflow for code review. Most of us switched to using Differential many months ago. We have a hardware/firmware team that still prefers to uses Github for some reason ( I really don't know why )

In the interest of reducing noise, creating a useful recent commits dashboard panel, I earlier today switched our diffusion repo to only track master.

This notwithstanding I am seeing several non-master commits coming up in the panel (and as the most recent commit in the diffusion repos view) with unhelpful messages like Merge d1afa511fd6f59352f9852cd73eabd31f5604891 into 7b18851b4506e0ec445e379307a144dacbb6f48d

These are empty merge commits with an info panel reading

These seem to be some internal thing github does... at random?, as these commits indeed appear to be on no branch of our repo on github and the pr in question is closed and not even recently (Closed Feb 13).

I cannot, to my knowledge, untrack these commits as there is no way to filter on non heads/ refs that I'm aware of.

I appreciate that you are not generally in the business of encouraging people to use differential alongside PRs but given that this appears to be happening on months old PRs, it could just as well happen to people who switched CR fully but keep code on github

thanks.