This repository has been archived by the owner on Feb 22, 2022. It is now read-only.

Pushing to a remote repository should be optional #2

Open

raphigaziano opened this issue Sep 5, 2014 · 0 comments

Assignees

Labels

raphigaziano commented Sep 5, 2014

If no git_url is define, or if the user explicetly disable it by a cli argument, then do not push the changes after commiting them.

raphigaziano added the enhancement label

raphigaziano self-assigned this

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.