TIL: you can configure a #git remote with multiple push URLs.

It basically allows you to push to multiple remotes at once.

By all means, #movingtogitlab-dot-com does not solve the problem GitHub has (centralization), and moving to a privately hosted GitLab re-introduces the problem GitHub mostly solved (separation).

#GitPub is trying to solve this problem by defining a federation protocol for git services: https://github.com/git-federation/gitpub

Why does man print "gimme gimme gimme" if you run man after midnight https://unix.stackexchange.com/questions/405783/why-does-man-print-gimme-gimme-gimme-at-0030