Skip to content

Ignore github pull request refs when cloning or fetching#777

Closed
michaelsembwever wants to merge 1 commit intoriptano:masterfrom thelastpickle:mck/checkout-and-fetch-ignores-pull-request-refs

Commits

Commits on Sep 30, 2024