How to alias multiple remote repos in Git to a single, aggregate "repo" for easy pushing: stackoverflow.com/a/3195446 #git #useful