aboutsummaryrefslogtreecommitdiff
path: root/src/util/git-push-everything.pl
Commit message (Expand)AuthorAge
* Support a "local repository" that collects all machine-local repositorieseschnett2011-11-14
* Improve error outputeschnett2011-01-26
* Clean up the source code handling the announce mechanism in Formaline.eschnett2010-06-30
* Set up git repositories to allow pushing to the current branchschnetter2010-02-18
* Git stuff:schnetter2010-02-06