summaryrefslogtreecommitdiff
path: root/context_mirror_bot.ml
Commit message (Expand)AuthorAgeFilesLines
* set mirror user for GitlabPhilipp Gesang2020-02-051-2/+2
* add Aditya’s github repoPhilipp Gesang2018-07-211-6/+6
* set executable name oncePhilipp Gesang2018-07-201-2/+4
* drop unnecessary job typePhilipp Gesang2018-07-201-20/+14
* trim path off executable name for syslog tagPhilipp Gesang2018-07-191-1/+1
* overwrite existing configPhilipp Gesang2018-07-161-3/+3
* prevent accidental gpg signing during commitPhilipp Gesang2018-07-151-1/+1
* fix remote namesPhilipp Gesang2018-07-111-3/+3
* allow for multiple destination remotesPhilipp Gesang2018-07-111-14/+36
* update date and linksPhilipp Gesang2018-07-101-6/+6
* Merge branch 'mirror-master'Philipp Gesang2018-07-101-5/+9
|\
| * update website link, set Hans Hagen as authorPhilipp Gesang2018-07-091-5/+9
* | fix unit for runtime statsPhilipp Gesang2014-06-091-1/+1
* | add sync operationPhilipp Gesang2014-06-091-1/+43
|/
* adapt for ancient gitPhilipp Gesang2014-06-081-9/+15
* simplify job handlingPhilipp Gesang2014-05-201-60/+35
* write invocation and termination info to syslogPhilipp Gesang2014-05-191-15/+37
* include contact info in user agent stringPhilipp Gesang2014-05-191-3/+12
* fix position of static file import in import sequencePhilipp Gesang2014-05-171-19/+27
* remove wrapper for git-addPhilipp Gesang2014-05-161-7/+0
* fix missing separatorPhilipp Gesang2014-05-161-34/+35
* install Context license in repoPhilipp Gesang2014-05-161-2/+41
* initialPhilipp Gesang2014-05-161-0/+722