this post was submitted on 31 Jul 2024
734 points (99.3% liked)

Programmer Humor

19563 readers
1112 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 167 points 3 months ago (1 children)

Note that the PR was later merged by a member who got fed up with his colleagues.

[–] [email protected] 34 points 3 months ago (1 children)

And who hasn't contributed any code to this particular repo (according to github insights).

[–] [email protected] 37 points 3 months ago (1 children)

Not familiar with this exact team, but a skilled reviewer/issue triager is useful. We can hope this person at least tested the changes.

[–] [email protected] 3 points 3 months ago

The person who opened the pr already did