2022-10-06 | Moritz Orbach | daily_git_commit_mail.sh -> git_commit_mail.sh – it... | blob | commitdiff | raw |
2022-09-24 | Nigel Metheringham | this is an old change that was not commited on hummus... | blob | commitdiff | raw |
2017-02-28 | Nigel Metheringham | Merge branch 'master' of /home/git/mirror-monitor | blob | commitdiff | raw | diff to current |
2017-02-28 | Nigel Metheringham | Update URLs to https | blob | commitdiff | raw | diff to current |
2015-05-05 | Nigel Metheringham | Fixed up git update/mailing script | blob | commitdiff | raw | diff to current |
2014-05-27 | Nigel Metheringham | Slap git a bit harder | blob | commitdiff | raw | diff to current |
2014-05-27 | Nigel Metheringham | Push git tags as well as content | blob | commitdiff | raw | diff to current |
2014-05-27 | Nigel Metheringham | Added other utility scripts | blob | commitdiff | raw | diff to current |