hachyderm.io is one of the many independent Mastodon servers you can use to participate in the fediverse.
Hachyderm is a safe space, LGBTQIA+ and BLM, primarily comprised of tech industry professionals world wide. Note that many non-user account types have restrictions - please see our About page.

Administered by:

Server stats:

9.6K
active users

Ellie Huxtable

How would you feel if a maintainer pushed a formatting change/simple lint fix to your PR before merging it?

Often I receive PRs that I'm happy to approve, but they just need one tiny tweak.

I've always felt like it's rude to just push to someone's branch, but it would improve merge times by a bunch