push: respect --no-thin
[git] / t / t5100 / patch0008