path: root/gitmirror
Commit message (Expand)AuthorAgeFilesLines
* Filter out the branch HEAD... we want it to show up as master.H. Peter Anvin2010-01-061-1/+1
* Additional adjustments needed to the tip botH. Peter Anvin2009-07-193-7/+6
* Updated git email robot from the tip projectH. Peter Anvin2009-07-195-41/+202
* gitmirror: update .gitignore and git.configH. Peter Anvin2008-10-302-8/+7
* git mirror robot: use the new --mirror option to git fetch/pushH. Peter Anvin2008-10-301-11/+11
* Add .gitignore filesH. Peter Anvin2008-09-301-0/+2
* Add git mirror scripts to version controlH. Peter Anvin2008-09-303-0/+79