context-mirror-bot, branch master Maintain a Git repo of the ConTeXt typesetting system rm -f current 2020-02-16T09:56:21+00:00 Philipp Gesang phg@phi-gamma.net 2020-02-16T09:56:14+00:00 025b347103da0fced16a2b1c57574b475a9e8c49 https://ntg.nl/pipermail/ntg-context/2020/096963.html 
https://ntg.nl/pipermail/ntg-context/2020/096963.html
Merge remote-tracking branch 'mirror/master' 2020-02-05T00:32:21+00:00 Philipp Gesang phg@phi-gamma.net 2020-02-05T00:32:21+00:00 3dcd73d7129fa142701b3e0739d862a709a5b8fb 






set mirror user for Gitlab
2020-02-05T00:14:40+00:00

Philipp Gesang
phg@phi-gamma.net

2020-02-05T00:14:40+00:00

65fe9e7a4184003d64a131a93e28461dce82568e












log download completion time
2018-10-10T22:41:11+00:00

Philipp Gesang
phg@phi-gamma.net

2018-10-10T22:41:11+00:00

74dc634d93980cbc5f992ab0f70e48d0bbdab5bd












improve status messages
2018-10-10T22:32:19+00:00

Philipp Gesang
phg@phi-gamma.net

2018-10-10T21:24:01+00:00

5da3c8132776bce8451f21a0f1ee303761996215

- Properly wrap *printf.
- Delimit interpolated strings.





- Properly wrap *printf.
- Delimit interpolated strings.







add Aditya’s github repo
2018-07-21T12:10:13+00:00

Philipp Gesang
phg@phi-gamma.net

2018-07-21T12:10:13+00:00

6a3b7da6a16a9d3a1f8ea3705d019ef5181ef2e5












set executable name once
2018-07-20T17:21:46+00:00

Philipp Gesang
phg@phi-gamma.net

2018-07-20T17:21:46+00:00

1f06b86a7aee14341c47377cedf2153e1405c02c












drop unnecessary job type
2018-07-20T17:19:18+00:00

Philipp Gesang
phg@phi-gamma.net

2018-07-20T17:19:18+00:00

ce3db61a27f2c1ca234c2270c42658f23d691a75












trim path off executable name for syslog tag
2018-07-19T18:26:38+00:00

Philipp Gesang
phg@phi-gamma.net

2018-07-19T18:26:38+00:00

44f6ff428da95cc1d9e65ef0294a538155d4722a












overwrite existing config
2018-07-15T22:39:38+00:00

Philipp Gesang
phg@phi-gamma.net

2018-07-15T22:32:33+00:00

e54c1dc3ad9bf28df44cd8aaca317c01b3846c70