David Peter
@sharkdp on GitHub ↗8,365 followersupdated 2h agoDavid merged 88 public PRs across 7 projects in the first 24 days of October. See all 88 on GitHub ↗
287 of those contributions are private. David also merged 88 public PRs in October. See all 88 on GitHub ↗
October, so far · public PRs only88
public PRs merged
October, so far686
GitHub contributions
public PRs merged
#344 this monthamong 1,050 tracked accounts
#344this monthamong 1,050 tracked accounts
GitHub contributions
#372 on Contributionsamong 1,050 tracked accounts
#372on Contributionsamong 1,050 tracked accounts
Look up your own month, or anyone's.
Is this you? Sign in to get your numbers by email.
October, day by day
public PRs today0UTC day, as last checked
current streak2 daysin a row, 1+ merge a day
September40Oct pace: ~114
active days22 of 24days with any contribution
Projects
7 projects this month · top 5GitHub contributions
686this month, 287 of them private#372 on the Contributions board ↗GitHub's own count of commits, pull requests, issues and reviews, plus private work when the account shows it. It has its own board and is never added to public PRs.Share this month
Pick a board. The link opens this page on that board, and X shows its card.@sharkdp's month has loaded.
Every month, the board resets.
Get the final top 10 by email when October closes.
You're on the list.
or, standings only
We send a confirmation link first.