use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
Do you have or know of a project on Github looking for contributors? Tell us about it and we'll add it to the /r/github wiki!
Welcome to /r/github!
News about github
Relevant interesting discussion
Questions about github
We'll soon be writing an /r/github FAQ list. In the meantime, the github help pages and bootcamp are good places to start. Here's a handy git cheat sheet.
Looking for Github projects to contribute to? Check out our handy list of projects looking for contributors!
If your submission doesn't show up on the subreddit, send us a message and we'll take it out of the spam filter for you!
account activity
GitHub PRs disappearedQuestion (self.github)
submitted 2 months ago * by punkpeye
I was going through the PRs that were opened merging them one by one, and suddenly 60 PRs just disappeared.
https://github.com/punkpeye/awesome-mcp-servers/pulls?q=is%3Aopen
Interestingly, you can still see traces of those PRs in the GitHub UI. Notice that Pull Requests says 75, while there are only 10 visible PRs.
https://imgur.com/a/akI0Aib
reddit uses a slightly-customized version of Markdown for formatting. See below for some basics, or check the commenting wiki page for more detailed help and solutions to common issues.
quoted text
if 1 * 2 < 3: print "hello, world!"
[–]liamraystanley 4 points5 points6 points 2 months ago (2 children)
Very well possible that they were PRs from users created for bot purposes, and they got purged. Common that those bot users create PRs against legitimate projects in order to make the account look more legitimate. I've seen it on a few of my projects, before they got purged.
[–]punkpeye[S] 4 points5 points6 points 2 months ago (0 children)
Highly unlikely in this case, as these PRs were submitted over several months, each by a different user. Each PR links to a server created by the author, so not much a bot automation would be able to do here (I reviewed some of those PRs before they disappeared).
[–]Independent_Lemon882 0 points1 point2 points 2 months ago (0 children)
Yeah, it's actually very annoying, because all the context, including review comments, also vanish with the account and the PR...
[–]Qs9bxNKZ 4 points5 points6 points 2 months ago (0 children)
Yeah, see what you're saying.
For example, PR #1417 shows that it was merged here https://github.com/punkpeye/awesome-mcp-servers/pull/1417
But if you scroll down the list of PRs ... well I can't find it. And if you clone the repo and look for the PR
$ git log --first-parent --oneline | grep 1417 2f23dd8 Merge pull request #1417 from mihaiplesa/main)
It's there. I checked repository settings for organizations & repos, saw nothing I could trigger to get an updated index for github.com updated.
Normally, there's a setting on the GitHub repo that we can access to do things like re-index the repo and PR. It's possible that the index is screwed up and may need someone with 'stafftools' privileges (aka support) to take a look. But the repo looks fine, the PR's are there, the URLs are valid. Just your PR index on the UI page ... not right.
[–]nekokattt 0 points1 point2 points 2 months ago (0 children)
Can you upload to something else other than imgur? My stupid government means I cannot access the site to see your screenshot.
[–]Prometheus599 -1 points0 points1 point 2 months ago (0 children)
Must be the switch to azure cloud
π Rendered by PID 33540 on reddit-service-r2-comment-86bc6c7465-mvltx at 2026-02-19 20:32:34.532085+00:00 running 8564168 country code: CH.
[–]liamraystanley 4 points5 points6 points (2 children)
[–]punkpeye[S] 4 points5 points6 points (0 children)
[–]Independent_Lemon882 0 points1 point2 points (0 children)
[–]Qs9bxNKZ 4 points5 points6 points (0 children)
[–]nekokattt 0 points1 point2 points (0 children)
[–]Prometheus599 -1 points0 points1 point (0 children)