Skip to content

Publish merged branch in git pull response#9459

Merged
k-anshul merged 1 commit into
mainfrom
merge_branch_git_pull
May 18, 2026
Merged

Publish merged branch in git pull response#9459
k-anshul merged 1 commit into
mainfrom
merge_branch_git_pull

Conversation

@k-anshul
Copy link
Copy Markdown
Member

@k-anshul k-anshul commented May 18, 2026

Immediate use case is to differentiate if merge failure occurred to conflict with remote / primary branch.

Checklist:

  • Covered by tests
  • Ran it and it works as intended
  • Reviewed the diff before requesting a review
  • Checked for unhandled edge cases
  • Linked the issues it closes
  • Checked if the docs need to be updated. If so, create a separate Linear DOCS issue
  • Intend to cherry-pick into the release branch
  • I'm proud of this work!

@k-anshul k-anshul self-assigned this May 18, 2026
@k-anshul k-anshul requested a review from AdityaHegde May 18, 2026 12:55
@k-anshul k-anshul merged commit 2f1eb23 into main May 18, 2026
18 of 20 checks passed
@k-anshul k-anshul deleted the merge_branch_git_pull branch May 18, 2026 17:19
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.

2 participants