summaryrefslogtreecommitdiff
path: root/tools/merge_sth.py
Commit message (Expand)AuthorAgeFilesLines
* Documentation changes.Linus Nordberg2016-12-011-3/+4
* Separate two error cases when reading 'verified' file.Linus Nordberg2016-12-011-1/+6
* Dedup log initialisation code.Linus Nordberg2016-11-281-7/+2
* Manual rebase onto master with map/robust-distribution.Linus Nordberg2016-11-251-27/+54
* Add a bit of documentation.Linus Nordberg2016-11-251-1/+4
* Merge remote-tracking branch 'refs/remotes/map/python-requests-chunked'Linus Nordberg2016-07-111-2/+3
|\
| * Use python requests package instead of urllib2Magnus Ahltorp2016-03-091-2/+3
* | Make merge_sth work again after last commit.Linus Nordberg2015-11-201-2/+1
* | Remove debug printouts from merge programs.Linus Nordberg2015-11-201-2/+2
|/
* 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