mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

380K
active users

@itsfoss not mine but my friend had super heroes for common git commands.

So he’d do stuff like

Batman instead of git fetch or what have you