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
private contributions287shown because the account makes them public on GitHub
active days22 of 24days with any contribution
Projects
7 projects this month · top 5Public PRs merged
88this month#344 on the Public PRs board ↗Pull requests merged in public repositories, by merge date. It has its own board and is never added to contributions.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.