My pull request doesn’t show up in Pull Shark.

[sorooshm78]

My recent pull request was merged in the PcapPlusPlus repository, but it is not appearing in the Pull Shark section. What could be the reason for this?

seladb/PcapPlusPlus#2024

[Pranziss]

yo, same thing happened to me before. pull shark can lag a bit after a merge. make sure your github account is linked right and that the repo is being tracked. if all that checks out, maybe just give it a little time or reach out to the pull shark folks. it'll probably show up soon hopefully.

[adityas72]

Your pull request does count, but it may not show up in Pull Shark yet due to how GitHub tracks it.
Possible reasons:

1. Pull Shark only counts PRs merged into the default branch (usually main or master).
2. If your PR was merged into another branch, it won’t appear.
3. There can be a delay — GitHub achievements are not updated instantly.
4. Repository ownership matters — Pull Shark tracks PRs merged into repositories you don’t own, but sometimes large org repos update stats slowly.
5. Squash/rebase merges usually count, but manual cherry-picks may not.
6. If the repo is mirrored or has unusual settings, GitHub may not attribute it correctly.
   In short:
   👉 Your PR in PcapPlusPlus is valid, but Pull Shark updates are delayed or branch-dependent, not a problem from your side.

[sorooshm78]

In the PcapPlusPlus repository, pull requests must be submitted to the dev branch. Therefore, they will never appear in Pull Shark. Is there any way around this?

[github-actions[bot]]

🕒 Discussion Activity Reminder 🕒

This Discussion has been labeled as dormant by an automated system for having no activity in the last 60 days. Please consider one the following actions:

1️⃣ Close as Out of Date: If the topic is no longer relevant, close the Discussion as out of date at the bottom of the page.

2️⃣ Provide More Information: Share additional details or context — or let the community know if you've found a solution on your own.

3️⃣ Mark a Reply as Answer: If your question has been answered by a reply, mark the most helpful reply as the solution.

Note: This dormant notification will only apply to Discussions with the Question label. To learn more, see our recent announcement.

Thank you for helping bring this Discussion to a resolution! 💬

[GitAlboBis]

If your merged PR isn't showing up in your "Pull Shark" achievements on GitHub, there are a few common reasons for this discrepancy. Here is a breakdown of what might be happening:

1. System Delay (Most Common)

GitHub's achievement badges are not always awarded instantaneously. The background processes that calculate achievements are often cached and run periodically. It can sometimes take anywhere from a few hours to a couple of days for a newly merged PR to trigger the Pull Shark update on your profile.

2. Squash or Rebase Merging Issues

When a maintainer merges a PR, they can choose to create a merge commit, squash and merge, or rebase and merge.

• If they used Squash and merge, the final commit might have been authored by the maintainer.
• If they did not properly attribute you (using your associated email or adding a Co-authored-by tag), GitHub will see the merged code as belonging to the maintainer, not you, and it won't count toward your achievement.

3. Unverified Commit Email

The email address you configured in your local Git environment (git config user.email) to make the commits must be added and verified in your GitHub account settings. If you authored the commits with an email that GitHub doesn't recognize as yours, the platform won't link the merged PR to your profile's achievements.

4. Achievement Visibility Settings

Double-check that you haven't accidentally disabled achievements.

• Go to your GitHub profile.
• Click Edit profile.
• Scroll down to the Achievements section and ensure "Show Achievements on my profile" is checked.

[sorooshm78]

@sorooshm78 I saw your pull shark already show... Could you tell me how did you do that? Bcz I'm also face to this issue now... And it still doesn't show almost for 2 weeks...

I had two more pull requests merged after that, but neither of them appears in my Pull Shark badge, even though it's been over a month for both.

These are the PRs:

1. Add SIP Contact column to F10 call list selection irontec/sngrep#536
2. Improve SIP packet detection using heuristic parsing seladb/PcapPlusPlus#2024

Both of these pull requests have been merged, but they still don't show up in my Pull Shark badge.

[hawk-roy]

Actually I tried everyway that I could find， it still doesn't work…

[sorooshm78]

Please upvote this issue so more people will notice it and share their experiences.

[kuldeeprajput-dev]

@sorooshm78, upvotes don’t work anymore. GitHub changed its terms and conditions after 2024 because users were abusing the badges. The Pull Shark badge can take 2–3 weeks to appear, so please wait. Mine also took around three weeks.

[sorooshm78]

@kuldeeprajput-dev My pull request, seladb/PcapPlusPlus#2024, has been open for about 7 months. Does that seem normal to you?

[juyelhushen]

I'm seeing similar reports from other contributors, so it doesn't seem to be an isolated issue. One thing to check is whether the PR was merged into the repository's default branch. If the project uses a dev branch for contributions and only later merges dev into main, GitHub may not count those PRs for Pull Shark. Otherwise, it could simply be an issue with GitHub's achievement tracking, and only GitHub Support can confirm the exact criteria.

[hawk-roy]

Hi guys I created another discussion for this issue a couple of days ago... And today I just received a answer from a maintainer of Github community. (https://github.com/orgs/community/discussions/202399)

Sounds like it is a bug in Github, and they are trying to handle this now, Should be fixed it soon.