Makes the hrp2 repository uses the electric branch.