Pull Shark still x2 after 128 merged PRs, please reindex #213019
Replies: 2 comments 1 reply
|
💬 Your Product Feedback Has Been Submitted 🎉 Thank you for taking the time to share your insights with us! Your feedback is invaluable as we build a better GitHub experience for all our users. Here's what you can expect moving forward ⏩
Where to look to see what's shipping 👀
What you can do in the meantime 💻
As a member of the GitHub community, your participation is essential. While we can't promise that every suggestion will be implemented, we want to emphasize that your feedback is instrumental in guiding our decisions and priorities. Thank you once again for your contribution to making GitHub even better! We're grateful for your ongoing support and collaboration in shaping the future of our platform. ⭐ |
|
Achievements aren't granted at merge time right now. They're recalculated in the background, and recent tier upgrades have taken 4–7 days (in #212684 the threshold was reached Nov 5 and the tier unlocked Nov 10). Your 128th merge was Nov 6 13:01 UTC, about 6.8 days before you posted, so this may still be the normal delay. Galaxy Brain showing up today doesn't rule that out, since each achievement is processed separately. One thing worth checking before waiting longer, though: I can only find 48 of your 141 merged PRs publicly. The same search through the API, which only sees what's visible to everyone, returns:
Your profile also shows no private contributions, and its 155 PR contributions match the public PRs exactly. So the other ~93 merged PRs are only visible when you're signed in, most likely because they're in private repositories. GitHub doesn't document whether PRs in private repos count toward Pull Shark. If they do, this is just the delay. If they don't, the achievement's count is around 48, x2 is the expected tier, and waiting won't change it. To tell which it is:
Related: #212684 (why the history lists only one PR per tier), #212220 (processing delay) |
Uh oh!
There was an error while loading. Please reload this page.
🏷️ Discussion Type
Bug
💬 Feature/Topic Area
Profile
Body
My GitHub username is ZYZ666-RGB. Pull Shark is still bronze x2, and the official badge history only lists the 2nd merged PR ([#2](ZYZ666-RGB/crafthub-ai#2)) and the 16th ([#12222](apache/seatunnel#12222)). There is no 128th row. Search currently shows 141 merged PRs I authored ("author:ZYZ666-RGB is:pr is:merged"). The 128th by merge time is [#5380](pipeshub-ai/pipeshub-ai#5380), merged at 2026-11-06T13:01:19Z, almost 7 days ago, with more merges since. Other achievements on this account are updating (Galaxy Brain appeared today), but Pull Shark has not upgraded to x3. Please reindex achievements for this account.
All reactions