mcc@mcc@mastodon.social
Unrelated to anything: "Pull request" has always been a bad name. Always. They should have been named "Push requests".
Klara in the hidden land@klara@wandering.shop
@mcc@mastodon.social Thank you!
I'm used to them now, of course, but when Git[Hub] was just taking off I assumed for the longest time that, like, you had to have a server the project maintainer could reach and that a "pull request" was asking them to thus do a pull from your server. And therefore that if "pull requests" were how you contributed to a project, then if you didn't have a setup like this you should just get lost, because that must be a sign that you aren't Serious Enough about open source software.
