fetch specific commits even if the github fast path fails#13946

Merged

bors merged 1 commit intorust-lang:masterfrom iliana:13555-object-not-found

May 22, 2024

+8

Commits on May 22, 2024

don't ask github to resolve full commit hashes

iliana
and
weihanglo
committed