I fixed the git command line in 8986a60e0db11ed975bbdef2f436c9d3a49ed9f1.