Support force-pushed repos with git-fetch-with-cli.#6800

Merged

bors merged 1 commit intorust-lang:masterfrom ehuss:git-cli-force

Apr 1, 2019

+71-6

Commits on Mar 31, 2019

Support force-pushed repos with git-fetch-with-cli.
ehuss
committed