My pull request doesn’t show up in Pull Shark. #183448
-
|
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? |
Beta Was this translation helpful? Give feedback.
Replies: 4 comments 2 replies
-
|
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. |
Beta Was this translation helpful? Give feedback.
-
|
Your pull request does count, but it may not show up in Pull Shark yet due to how GitHub tracks it.
|
Beta Was this translation helpful? Give feedback.
-
|
In the PcapPlusPlus repository, pull requests must be submitted to the |
Beta Was this translation helpful? Give feedback.
-
|
🕒 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 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 Thank you for helping bring this Discussion to a resolution! 💬 |
Beta Was this translation helpful? Give feedback.
-
|
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 IssuesWhen a maintainer merges a PR, they can choose to create a merge commit, squash and merge, or rebase and merge.
3. Unverified Commit EmailThe email address you configured in your local Git environment ( 4. Achievement Visibility SettingsDouble-check that you haven't accidentally disabled achievements.
|
Beta Was this translation helpful? Give feedback.
-
|
hello bro, have you got the badge or still issue? because i am currently facing this issue, can you help me if your issue resolved ? 
see my 2 pr merged 
see pull shark is not there |
Beta Was this translation helpful? Give feedback.
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.