Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix suggested Git command #283

Closed
aguschin opened this issue Oct 5, 2022 · 0 comments · Fixed by #281
Closed

Fix suggested Git command #283

aguschin opened this issue Oct 5, 2022 · 0 comments · Fixed by #281

Comments

@aguschin
Copy link
Contributor

aguschin commented Oct 5, 2022

git push xx#prod#1 miss remote name. E.g. it should be git push origin xx#prod#1 or something. Not sure how to print this in CLI output. git push origin xx#prod#1 or git push <remote> xx#prod#1 to avoid blindly copy-pasting and running the suggestion?

Originally posted by @aguschin in #114 (comment)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat: gto assign / deprecate / register —auto-push francesco086/gto
1 participant
@aguschin