Mastodawn

Spent a little time ripping dependencies out of https://github.com/andrew/first-pr today, feels good to completely remove the build step.

GitHub - andrew/first-pr: What was the first pull request you sent on GitHub?

What was the first pull request you sent on GitHub? - andrew/first-pr

GitHub

Show thread

Andrew Nesbitt Feb 28

TIL that claude's first PR was 12 years ago: https://firstpr.me/#claude

Show thread

Tobias Bieniek Feb 28

@andrewnez wait... what? how does that work? 😄

Show thread

Andrew Nesbitt Feb 28

@tb two theories:

1. There was a previous human user called claude
2. Claude has been around a lot longer than anyone realised

Show thread

Pradyun Gedam Feb 28

@andrewnez @tb Was a human: https://patch-diff.githubusercontent.com/raw/davidray/twitter-bootstrap-calendar/pull/4.patch

Show thread

Tobias Bieniek Feb 28

@pradyunsg @andrewnez hmm, I guess https://firstpr.me/#claude only looks at the username and searches for the first PR by username. might be better if it would first query the GitHub API for the ID of the user and then search for the first PR by user ID instead 😅

First Pull Request

What was the first pull request you sent on GitHub?

First Pull Request

Show thread

Tobias Bieniek

@pradyunsg @andrewnez I just realized that my suggestion is actually useless. GitHub changes deleted accounts to the `ghost` user, so the search in this project actually only covers the PRs from the current account, not the ones that previously had the same name :)