summaryrefslogtreecommitdiff
path: root/tools/merge_sth.py
Commit message (Expand)AuthorAgeFilesLines
* Use python requests package instead of urllib2Magnus Ahltorp2016-03-091-2/+3
* Print the string "timing" and the name of the program in merge timing info.Linus Nordberg2015-11-101-1/+1
* Fix backup-quorum-size and use it.Linus Nordberg2015-11-101-3/+10
* Merge is now run by shell script tools/merge.Linus Nordberg2015-11-101-0/+123