Andrew NesbittFeb 28
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 threadAndrew NesbittFeb 28
TIL that claude's first PR was 12 years ago: https://firstpr.me/#claude
Show threadTobias BieniekFeb 28
@andrewnez wait... what? how does that work? 😄
Show threadAndrew NesbittFeb 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 threadPradyun GedamFeb 28
@andrewnez @tb Was a human: https://patch-diff.githubusercontent.com/raw/davidray/twitter-bootstrap-calendar/pull/4.patch
Show threadTobias Bieniek
@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
Feb 28 at 2:10pmWeb
Show threadTobias BieniekFeb 28
@pradyunsg @andrewnez although... https://api.github.com/users/claude says it was created on 2009-05-07, so apparently the account was not recreated after all. weird.
Show threadPradyun GedamFeb 28
@tb @andrewnez I imagine Claude (cciocan) was paid by Anthropic, for the github.com/claude account.
Show threadTobias BieniekFeb 28
@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 :)