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.

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

Alert for Unpushed Commits Before PR Merge (in-app_ #5646

Open
krlvi opened this issue Nov 22, 2024 · 0 comments
Open

Alert for Unpushed Commits Before PR Merge (in-app_ #5646

krlvi opened this issue Nov 22, 2024 · 0 comments
Labels
enhancement An improvement to an existing feature

Comments

@krlvi
Copy link
Member

krlvi commented Nov 22, 2024

Current Issue:
The workflow breaks when a pull request is created and additional commits are made without pushing them. Currently, users must manually drag-and-drop commits to a new virtual branch and unapply the old virtual branch to resolve this.

Proposed Solution:
Before allowing a pull request to be merged, add an alert that detects unpushed commits and prompts:
"You have unpushed commits. Would you like to push these commits to the remote branch before merging?"

From discord https://discord.com/channels/1060193121130000425/1073202153163857920/1307155854130286613

@krlvi krlvi added the enhancement An improvement to an existing feature label Nov 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement An improvement to an existing feature
Projects
None yet
Development

No branches or pull requests

1 participant