This PR addresses the #1409 (review):
couldn’t we add this to
run-in-docker-action
to avoid duplication?
This PR addresses the #1409 (review):
couldn’t we add this to
run-in-docker-action
to avoid duplication?
./ci/ci.sh
the default, and always prepend the git config
?
I think it’s even cleaner to make
./ci/ci.sh
the default, and always prepend thegit config
?
Thank you! Implemented.
Labels
ci