git-resource
git-resource copied to clipboard
Added a parameter to optionally ignore errors on push
Provides an implementation of the feature requested in https://github.com/concourse/git-resource/issues/408.
It's verified that it works, at least for our particular use case.