Post

I just merged a PR in one of my repositories (see github.com/Ayc0/ayc0.gi...). But, the merge commit doesn't appear in main. And when checking the exact commit (github.com/Ayc0/ayc0.gi...), it says that it doesn't belong to any branch on this repository. Like what????

Ayc0

@ayc0.dev

I had to redo the pull request in github.com/Ayc0/ayc0.gi..., but this is quite scary to see that GitHub is dropping PRs When I'm checking the commits in main, I do not see at all the previous PR: it should have appeared between #303 and #305 (as it was PR #304)

5/7/26, 8:43 am0 reposts0 likes

No replies yet.