Pull Shark achievement missing despite 16 merged pull requests

[0xchitra]

🏷️ Discussion Type

Bug

💬 Feature/Topic Area

Profile

Body

My GitHub username is @0xchitra.

I have 16 merged pull requests authored by my account, but the Pull Shark achievement has not been awarded.

I verified this using GitHub's pull request search:

is:pr is:merged author:@me

The search currently shows 16 merged pull requests.

Some of these pull requests were merged weeks ago, so this does not appear to be a normal processing delay. The PRs are successfully merged and authored by my account.

Could you please check whether there is an issue with the Pull Shark achievement being awarded to my account?

I can provide the URLs of the merged pull requests and screenshots showing the 16 merged PRs if needed.

Thank you.

[github-actions[bot]]

💬 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 ⏩

• Your input will be carefully reviewed and cataloged by members of our product teams. 
  • Due to the high volume of submissions, we may not always be able to provide individual responses.
  • Rest assured, your feedback will help chart our course for product improvements.
• Other users may engage with your post, sharing their own perspectives or experiences. 
• GitHub staff may reach out for further clarification or insight. 
  • We may 'Answer' your discussion if there is a current solution, workaround, or roadmap/changelog post related to the feedback.

Where to look to see what's shipping 👀

• Read the Changelog for real-time updates on the latest GitHub features, enhancements, and calls for feedback.
• Explore our Product Roadmap, which details upcoming major releases and initiatives.

What you can do in the meantime 💻

• Upvote and comment on other user feedback Discussions that resonate with you.
• Add more information at any point! Useful details include: use cases, relevant labels, desired outcomes, and any accompanying screenshots.

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. ⭐

[iawaisahmd]

one thing worth checking is whether those prs were merged into repositories you don't own and whether they were merged using the standard merge process. the search count alone doesn't necessarily mean every pr qualifies for pull shark. if several clearly eligible prs are weeks old and it's still missing, sharing 2–3 example pr links here would help narrow down whether this is an achievement tracking issue.