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