-
Notifications
You must be signed in to change notification settings - Fork 0
gh26 - no release push in cli #27
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.
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
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Pull request overview
Adds the missing sc release push subcommand so users can push release branches to the remote (including repo/manifest updates), addressing Issue #26.
Changes:
- Introduces a new
release pushCLI command wired toSCBranching.push(BranchType.RELEASE, name).
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
| @click.argument('name', required=False) | ||
| def push(name: str): | ||
| """Push release branch to remote, if a repo project updates the manifest with the lastest commits.""" | ||
| SCBranching.push(BranchType.RELEASE, name) |
Copilot
AI
Feb 9, 2026
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
name is declared as an optional Click argument (required=False), so it may be None. The type annotation should reflect that (e.g., str | None) to avoid misleading type checkers/readers.
| @release.command() | ||
| @click.argument('name', required=False) | ||
| def push(name: str): | ||
| """Push release branch to remote, if a repo project updates the manifest with the lastest commits.""" |
Copilot
AI
Feb 9, 2026
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Typo in docstring: "lastest" should be "latest".
| """Push release branch to remote, if a repo project updates the manifest with the lastest commits.""" | |
| """Push release branch to remote, if a repo project updates the manifest with the latest commits.""" |
TB-1993
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ship it!
Add release push to cli.
Closes #26