Missing "Pull Shark" achievement badge after multiple merged PRs #207838
Replies: 6 comments
|
Hi, If the PRs have already been merged for more than a week and the account settings and verified email are correct, this sounds like it may be an achievement-association issue rather than the normal 24–48 hour delay. The Pull Shark achievement is based on qualifying merged pull requests, so I would first verify that the PRs were actually merged (rather than closed), that they were merged into the repository's default branch, and that the GitHub account is the author/participant associated with those PRs. If all of those conditions are satisfied, there doesn't appear to be a user-accessible way to manually force an achievements re-sync. Since GitHub Support has redirected you to the Community, I would include the exact PR URLs, merge dates, your username, and screenshots of the enabled achievement setting in the discussion and ask a GitHub Community moderator/staff member to escalate it for investigation. I would avoid opening/closing or modifying PRs just to try to trigger the badge. If the PRs already qualify, the issue is more likely with GitHub's backend achievement processing than with your repository activity. |
|
Thanks for the reply! Here are the exact PR links for reference:
My achievements setting is verified to be completely enabled, and my commit email matches my verified GitHub email exactly. Could any GitHub Staff member please help escalate this to the backend team for a manual sync? Thank you!
|
|
Hi @Xxcool, Looking into your profile and the PRs on When an account has not yet unlocked its first achievement badge, Why this happens with organization PRs
How to trigger the badge mintingYou can force the achievement processor to evaluate your account with these steps:
|
|
You can try checking the Pull Shark achievement requirements first. The PRs need to be merged into the default branch of a repository, and the account must meet GitHub’s achievement criteria. |
|
Hey @Xxcool, Looking at what you've shared I don't think this is something you're obviously doing wrong on your side. You have PRs that were actually merged your achievements are enabled and you've already waited considerably longer than the usual short processing delay. There have also been a few reports recently from users whose PRs appear to meet the requirements but Pull Shark still doesn't show up so this may be an achievement indexing/processing issue rather than a problem with your profile settings. A couple of things I would still verify before treating it as a GitHub-side issue:
I would also be careful with the suggestion above that your accounts "achievement worker missed the minting event" or that merging another PR will definitely force GitHub to recalculate the badge. Unless that behavior is documented by GitHub or confirmed by GitHub staff we can't really know how their internal achievement processing works. Guarantee that a new merge will trigger a re-sync. At this point you've actually provided most of the information for an investigation: your username, the exact PR URLs the fact that they've been merged for more than a week and confirmation that achievements are enabled. Since GitHub Support already redirected you here I think the best next step is for a GitHub staff/community team member to check whether these PRs qualify and if they do whether there is an indexing issue affecting your profile. You may also want to keep the Support ticket/reference number in case a staff member asks for it. So I wouldn't keep changing things on your account for now. Your case looks very similar to recent Pull Shark reports and if all three PRs were merged into the repositorys default branch this seems worth escalating rather than troubleshooting the same profile settings again. Hope someone from the GitHub team can take a look, at it for you. 👍 |
|
I'm experiencing the same issue on my account: https://github.com/FriendlyPasser. As of September 17, I have 8 merged PRs across 4 repositories, including contributions to other users’ projects. For example:
My Quickdraw achievement is publicly visible, but Pull Shark is missing even when I check my achievements while signed in. Could someone from GitHub help investigate whether these PRs qualify and whether an achievement processing issue is affecting our accounts? Happy to provide any additional details. Thank you! |

Uh oh!
There was an error while loading. Please reload this page.
🏷️ Discussion Type
Question
💬 Feature/Topic Area
Profile
Body
Hi GitHub Community,
I am experiencing the same issue mentioned in a closed discussion (#169228). I have successfully merged multiple Pull Requests into public repositories (for example,
juejin-cn/juejin-usagePR #54, #56 and #76).Importantly, these PRs were merged over a week ago (early September), so this is definitely not a standard 24-48 hour sync delay.
My "Show Achievements on my profile" setting is turned on, and my commit email strictly matches my verified GitHub email.
However, the "Pull Shark" badge is still completely missing from my profile.
Since the official support ticket redirected me to the community, could a team member please help investigate and trigger a manual sync for my account achievements?
Thank you!
All reactions