Fix still-broken update

by pulling before trying to checkout a revision that might not be in
the repo