Better handling of Git pull for all Git versions