Replace an local git alias that slipped in

Oops.