Skip to content

Conversation

@HazAT
Copy link
Member

@HazAT HazAT commented Nov 24, 2025

Merge master branch into develop

@HazAT HazAT requested review from a team as code owners November 24, 2025 19:23
@github-actions github-actions bot enabled auto-merge November 24, 2025 19:23
Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Auto approved automated PR

@andreiborza
Copy link
Member

Closing in favor of: #18317

auto-merge was automatically disabled November 24, 2025 21:09

Pull request was closed

andreiborza added a commit that referenced this pull request Nov 25, 2025
It's often hard to notice when our Gitflow merge PRs fail due to merge
conflicts and the longer they are open the harder it will be to fix
these merge conflicts eventually.

e.g. #18314

This is an attempt at notifying us better when these happen by creating
an issue in our repo (did not actually test this yet so we might have to
go through some iterations 😅).

Idea by Abhi:
#18317 (review)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants