Skip to content

Add an option to allow git push --force to be performed in expert mode #527

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

Merged
merged 2 commits into from
Oct 8, 2024

Conversation

raymond-rebbeck
Copy link
Contributor

Add Push to remote branch (Force) to the menu, allowing an expert mode user to perform git push --force

The user is prompted with a warning and to confirm that they want to do this.

The motivation for this is that a basic mode user is capable of indirectly performing a force push via the Sync option, potentially without even realising or understanding that they are doing so. An expert mode user should be able to do the same with intent but currently has no option available outside of manually interacting with the local repository.

@isc-tleavitt
Copy link
Collaborator

@isc-etamarch could you tack on appropriate updates to module.xml and CHANGELOG.md for this (given that we released yesterday)? It's a good simple change and quite reasonable, happy to merge as-is with those updates.

In CHANGELOG.md, for cases like this where there's a PR but no issue (because the PR describes the issue), just put the PR number in the change note.

@isc-etamarch isc-etamarch merged commit 3faf8a7 into intersystems:main Oct 8, 2024
1 check passed
@raymond-rebbeck raymond-rebbeck deleted the force-push branch October 29, 2024 04:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants