The buildbots look stuck on commit 276112. This was right before SVN
and the web pages went down for a few minutes.
Now SVN is back, but the bots are not picking them up. However, if I
"force build", it does pick the latest commit, but says "no
Any ideas? Maybe restart the master?