summaryrefslogtreecommitdiffstats
path: root/gitmirror
Commit message (Collapse)AuthorAgeFilesLines
* Update to match system changes...H. Peter Anvin2020-06-042-4/+11
|
* Correct argument for test for "force"H. Peter Anvin2018-12-261-1/+1
|
* gitmirror: add force (always hold the lock) modeH. Peter Anvin2017-04-292-3/+7
|
* robot.sh: save branches.headsH. Peter Anvin2017-02-231-0/+1
| | | | | Save branches.heads to make recovery from a corrupt tracking repository easier.
* robotfmt.pl: MIME-encode headers as necessaryH. Peter Anvin2016-02-231-0/+2
|
* gitmirror/robot.sh: update handling of repository mirrorH. Peter Anvin2016-02-221-2/+5
|
* 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
| | | | | | Update .gitignore and git.config for the new "mirror universe". Signed-off-by: H. Peter Anvin <hpa@zytor.com>
* git mirror robot: use the new --mirror option to git fetch/pushH. Peter Anvin2008-10-301-11/+11
| | | | | | | Operate on a new tree cloned with git clone --mirror; use the new --mirror option to make git do the right things with the refs. Signed-off-by: H. Peter Anvin <hpa@zytor.com>
* Add .gitignore filesH. Peter Anvin2008-09-301-0/+2
|
* Add git mirror scripts to version controlH. Peter Anvin2008-09-303-0/+79
Scripts to track a remote git tree, and to send email on changes.