"git pull" doesn't know "--edit"