Retire git-fetch-dumb-http and missing-revs