@mcc@mastodon.social
Unrelated to anything: "Pull request" has always been a bad name. Always. They should have been named "Push requests".
@kevin@mastodon.km6g.us
@mcc@mastodon.social In the place where they originated the name made sense, and then GitHub ruined it.