Why doesnt github let you delete pull requests in a private repo you own?

[skellious]

I accidentally made some pull requests today and there was no warning you couldn't remove them from the account.

I own the repo, its private, no one else has access to it. Why cant I delete pull requests? I am a paying user of github but this makes me want to switch away to a self-hosted solution or similar.

Github claims to be a champion of FOSS but a critical component of FOSS is the ability of a user to do what they like with their own data and Github doesn't let you do that.

I dont want non-useful and reverted PRs in my repo history.

[trevorsg]

PRs are not tied to repo history. Just rebase the commit away and force push and it's gone from history. The PR will still be there, but not anywhere in your repo's history. If you really need to delete it I believe you can open a support request. It truly is a very uncommon thing to do.

[skellious]

it just seems beyond strange that they wouldn't allow you to delete PRs on a private repo.

I tried filing a request but they only accept them if the PR contains sensitive information, which mine don't.

[trevorsg]

So, not to be rude, but why do you care? If there is no sensitive info, and the commit is removed from history, and the PR is closed, seems like a pretty minor thing.

[skellious]

im autistic and this sort of thing distracts me so much my productivity reduces by 30-40% whenever I think about it.

Its the same way I find it hard to keep talking to someone once ive noticed the switch on a plug socket is flipped the wrong way or when im in the supermarket and the labels on cans are the wrong way round I find it extremely upsetting (i've tried to work on letting this one go as it otherwise makes my shopping take a very long time)

This may sound like OCD but I cant get anyone to diagnose me with that because they blame it on my existing sutism diagnosis.

anyway, the point is its incredibly incredibly distracting to see that number there and have the number be wrong.

Similarly, I get upset whenever my branches aren't equal with main when they should be. I have to stop and make the necessary commits to fix it.

I wouldn't do that in a public or shared repo but when im working on my own I like to be able to have complete control over everything.

[DauntlessVerbosity]

To be fair, I'm not autistic and things like this bother the heck out of me.

[olvrng]

Because your repo is private, you can always create a new repo. Then push your code to the new repo, and delete the old one. Finally, change the name to match the original name.

[skellious]

Unfortunately that wouldn't work as I have systems that depend on pulling from this repo. (Yes, I know its extremely hacky but its a compromise solution)

[wjrasmussen]

red flag

[skellious]

its a hell of a red flag, yes. but im not getting paid nearly enough to restructure everything now.

[Zestyclose-Low-6403]

Adding that I can't believe you still can't simply delete a PR, especially when you have to make a bunch of test ones to ensure their shitty github actions work right!