Try local checkout before fetching distant repo

Just a little improvement, for more rapidity.