< wumpus>
TIL git supports fetching commits by commit id now when enabled on a repository (uploadpack.allowReachableSHA1InWant), github seems to have this enabled so you can do "git fetch origin 3ec37a51728570fbdddc1f1f765779f73537915f" (needed a specific commit for testing #21036 reproducibility)
< gwillen>
wumpus: yeah they enabled that last year sometime
< sipa>
wumpus: oh, neat
< wumpus>
i wasn't aware; it's great, i suppose it also helps when reviewing differences across force-pushed commits where you didn't happen to have the intermediate commit locally