summaryrefslogtreecommitdiff
path: root/context_mirror_bot.ml
Commit message (Collapse)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