Pull Shark badge not awarded despite 2 merged PRs into external repositories #204404
Discussion TypeQuestion Discussion ContentHi, I have two pull requests merged into repositories I don't own, but the Pull Shark badge hasn't appeared on my profile yet. Merged PRs: emmabostian/developer-portfolios#3882 : merged Jul 3, 2026 Both are merged, into different repos, neither of which I own. This should satisfy the requirements for the bronze Pull Shark badge (2 merged PRs). It's been a few days since the second merge. The badge hasn't shown up under Achievements on my profile (github.com/arshbibhaw). Is this a known delay, or is something not counting correctly? Happy to provide any additional info. Thanks |
Replies: 4 comments
|
The Pull Shark achievement is earned when you have at least 2 pull requests merged.
Since your second PR was merged only recently, I'd wait a little longer before assuming something is wrong. Your two merged PRs should qualify for the first Pull Shark level. |
|
I looked at your specific case rather than answering generically, and your setup does meet the stated criteria — so this is worth digging into. What I verified via the REST API just now:
So: two merged PRs, authored by you, into default branches of public non-fork repositories, on an account that displays achievements. The bronze Pull Shark tier (2 merged PRs, then 16/128/1024 for higher tiers) should be satisfied. On timing, a first-hand data point: awarding is asynchronous — it's processed after the qualifying event, not at merge time. I merged two qualifying PRs on a test account roughly an hour before writing this, and that badge also hasn't appeared yet. Same-day delays are completely normal, and there are plenty of reports of it taking a day or two. Eight days, though, is outside anything I'd call normal processing lag. What I'd do next, in order:
One thing I'd not spend time on: re-checking email settings or contribution-graph rules — achievements key off the PR author account (which the API confirms is you), not off commit email attribution, so that whole family of fixes doesn't apply here. |
|
Hi, I'm experiencing the same issue. GitHub username: harman-2167 I have two pull requests that were opened by me and successfully merged into the default main branch of a public repository: hiero-hackers/analytics#309 Both PRs were merged, and PR #309 was merged about a month ago. However, the Pull Shark achievement still hasn't appeared on my profile. My Achievements visibility is enabled as well. Could someone please check why these qualifying PRs aren't being recognized? |
|
Hi! We appreciate you reaching out to report this issue. We have provided details about the incident in this discussion. To keep conversations all in one place and to ensure you receive timely updates, we’ll be closing this post and recommend you comment on or subscribe to the discussion linked above. We appreciate your patience as we work toward a solution. |
I looked at your specific case rather than answering generically, and your setup does meet the stated criteria — so this is worth digging into.
What I verified via the REST API just now:
emmabostian/developer-portfolios#3882:merged: true, authorarshbibhaw, basemaster= the repo's default branch, public, not a fork.Evavic44/portfolio-ideas#677:merged: true, authorarshbibhaw, basemain= default branch, public, not a fork.So: two merged PRs, authored by you, into default branches of p…