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