mcc@mcc@mastodon.social
Unrelated to anything: "Pull request" has always been a bad name. Always. They should have been named "Push requests".
Ölbaum@oscherler@tooting.ch
@mcc@mastodon.social The name makes sense for the three people who used git before GitHub existed, so you had to yell across the open space to ask your colleague to pull from the repo sitting on your computer. 😀