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