Push to all (different) remotes in git directory without having to combine them.
$ git remote | while read line ; do git push $line; done
For example, if you have a locally hosted git server, plus github, plus gitlab.
Diff your entire server config at ScriptRock.com