| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | rm -f currentHEADmaster | Philipp Gesang | 2020-02-16 | 1 | -5/+2 |
| * | Merge remote-tracking branch 'mirror/master' | Philipp Gesang | 2020-02-05 | 1 | -2/+2 |
| |\ | |||||
| | * | set mirror user for Gitlab | Philipp Gesang | 2020-02-05 | 1 | -2/+2 |
| * | | log download completion time | Philipp Gesang | 2018-10-11 | 1 | -1/+7 |
| * | | improve status messages | Philipp Gesang | 2018-10-11 | 1 | -76/+79 |
| |/ | |||||
| * | add Aditya’s github repo | Philipp Gesang | 2018-07-21 | 1 | -6/+6 |
| * | set executable name once | Philipp Gesang | 2018-07-20 | 1 | -2/+4 |
| * | drop unnecessary job type | Philipp Gesang | 2018-07-20 | 1 | -20/+14 |
| * | trim path off executable name for syslog tag | Philipp Gesang | 2018-07-19 | 1 | -1/+1 |
| * | overwrite existing config | Philipp Gesang | 2018-07-16 | 1 | -3/+3 |
| * | prevent accidental gpg signing during commit | Philipp Gesang | 2018-07-15 | 1 | -1/+1 |
| * | fix remote names | Philipp Gesang | 2018-07-11 | 1 | -3/+3 |
| * | allow for multiple destination remotes | Philipp Gesang | 2018-07-11 | 1 | -14/+36 |
| * | update date and links | Philipp Gesang | 2018-07-10 | 1 | -6/+6 |
| * | Merge branch 'mirror-master' | Philipp Gesang | 2018-07-10 | 1 | -5/+9 |
| |\ | |||||
| | * | update website link, set Hans Hagen as author | Philipp Gesang | 2018-07-09 | 1 | -5/+9 |
| * | | fix unit for runtime stats | Philipp Gesang | 2014-06-09 | 1 | -1/+1 |
| * | | add sync operation | Philipp Gesang | 2014-06-09 | 1 | -1/+43 |
| |/ | |||||
| * | adapt for ancient git | Philipp Gesang | 2014-06-08 | 1 | -9/+15 |
| * | simplify job handling | Philipp Gesang | 2014-05-20 | 1 | -60/+35 |
| * | write invocation and termination info to syslog | Philipp Gesang | 2014-05-19 | 1 | -15/+37 |
| * | include contact info in user agent string | Philipp Gesang | 2014-05-19 | 1 | -3/+12 |
| * | fix position of static file import in import sequence | Philipp Gesang | 2014-05-17 | 1 | -19/+27 |
| * | remove wrapper for git-add | Philipp Gesang | 2014-05-16 | 1 | -7/+0 |
| * | fix missing separator | Philipp Gesang | 2014-05-16 | 1 | -34/+35 |
| * | install Context license in repo | Philipp Gesang | 2014-05-16 | 1 | -2/+41 |
| * | initial | Philipp Gesang | 2014-05-16 | 1 | -0/+722 |
 |
index : context-mirror-bot | |
| Maintain a Git repo of the ConTeXt typesetting system |
| summaryrefslogtreecommitdiff |
path: root/context_mirror_bot.ml