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

merging from picker: raise error if failed and apply merge defaults #658

Merged
merged 2 commits into from
Nov 5, 2024

Conversation

macovsky
Copy link
Contributor

@macovsky macovsky commented Nov 2, 2024

Describe what this PR does / why we need it

  • raises error when merging from picker failed (like Octo pr merge does)
  • adds default_delete_branch setting which can be overridden with
    delete/nodelete argument to Octo pr merge
  • also applies all merge defaults when merging from picker

Does this pull request fix one issue?

Fixes #657

Describe how to verify it

  1. Find PR which is not mergeable
  2. Select it in Octo pr search for example (don't open)
  3. Press "merge pr" binding (<C-r> by default)
  4. See error message

Special notes for reviews

Checklist

  • Passing tests and linting standards
  • Documentation updates in README.md and doc/octo.txt

@macovsky macovsky force-pushed the display-merge-error branch from 13c002e to 9a1d830 Compare November 5, 2024 07:57
@macovsky macovsky changed the title apply default_merge_method + display error when merging from picker merging from picker: apply defaults and raise error if failed Nov 5, 2024
@macovsky macovsky requested a review from pwntester November 5, 2024 08:06
@macovsky macovsky changed the title merging from picker: apply defaults and raise error if failed merging from picker: raise error if failed and apply merge defaults Nov 5, 2024
add `default_delete_branch` setting which can be overridden with
`delete`/`nodelete` argument to `Octo pr merge`

also apply all merge defaults when merging from picker
@macovsky macovsky force-pushed the display-merge-error branch from 9a1d830 to 60b4e6b Compare November 5, 2024 13:46
@pwntester pwntester merged commit 650f33a into pwntester:master Nov 5, 2024
2 checks passed
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.

Merging PR from picker displays success message even if it failed
2 participants