[Rivet] HG transition

[Frank Siegert]

> Now I noticed that our bootstrap script does not work in
> --dev-mode-aida, since it's trying to do:
>   $ hg pull -u 2012-06-aidarivet
>   abort: repository 2012-06-aidarivet not found!
> Is this supposed to be
>   $ hg pull -u -r 2012-06-aidarivet
> or is there a more elegant way?

I just realised that not even that works, i.e. it doesn't actually
switch to the aida branch. I think one needs to remove the branch name
from the pull line, and instead add an additional line of
hg update -r <branchname>
I have committed that now.

Cheers,
Frank