Skip to content

Conversation

@geofflamrock
Copy link
Owner

@geofflamrock geofflamrock commented Jan 8, 2025

As part of #165 a new --push option was added to the new and branch new commands to push the newly created branch to the remote repository. The default was also changed on the command to not do this to better support offline operations.

This is proving to be a pain, I always forget to add --push and then need to run stack push all the time. So this PR instead asks if you want to push the new branch to the remote to make it easier, removing the --push option altogether. I might replace it at some point as part of adding support for non-interactive workflows.

@geofflamrock geofflamrock added the minor Increment the minor version when merged label Jan 8, 2025
@geofflamrock geofflamrock changed the title Ask whether to push new branches to remote Replace --push option with asking whether to push to remote Jan 8, 2025
@geofflamrock geofflamrock merged commit 19fe549 into main Jan 8, 2025
17 checks passed
@geofflamrock geofflamrock deleted the ask-to-push-new-branch branch January 8, 2025 10:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

minor Increment the minor version when merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants