| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | rm -f current | Philipp Gesang | 5 years | |
| Age | Commit message | Author | Files | Lines |
| 2020-02-16 | rm -f currentHEADmaster | Philipp Gesang | 1 | -5/+2 |
| 2020-02-05 | Merge remote-tracking branch 'mirror/master' | Philipp Gesang | 1 | -2/+2 |
| 2020-02-05 | set mirror user for Gitlab | Philipp Gesang | 1 | -2/+2 |
| 2018-10-11 | log download completion time | Philipp Gesang | 1 | -1/+7 |
| 2018-10-11 | improve status messages | Philipp Gesang | 1 | -76/+79 |
| 2018-07-21 | add Aditya’s github repo | Philipp Gesang | 1 | -6/+6 |
| 2018-07-20 | set executable name once | Philipp Gesang | 1 | -2/+4 |
| 2018-07-20 | drop unnecessary job type | Philipp Gesang | 1 | -20/+14 |
| 2018-07-19 | trim path off executable name for syslog tag | Philipp Gesang | 1 | -1/+1 |
| 2018-07-16 | overwrite existing config | Philipp Gesang | 1 | -3/+3 |
| [...] | ||||
 |
index : context-mirror-bot | |
| Maintain a Git repo of the ConTeXt typesetting system |
| summaryrefslogtreecommitdiff |