I have disabled the CIA bot “hook” in subversion for the time being as
the bots appear to be down. There were some problems earlier which were
discussed on IRC (basically commits going through but there being a
merge error) and this resolved the issue. Just so we remember to put it
back sometime.
–
Donald