Skip to content

Monthly push from internal trunk seems to have broken open pull requests #741

Description

@henrikingo-oracle

MySQL version / commit

trunk

Steps to reproduce

The symptoms are visible on PRs that were opened before the push. It seems some commits were lost or reordered, and as a result they show up as part of the PR instead, as long as the PR is not rebased rather is based on yesterday's trunk.

Expected vs actual result

Expected: Only files I edited and committed are shown in the PR diff view

Actual: PR suddenly has additional commits, which maybe older than the PR itself. Also merge conflicts are now on the PR.

Image

Platform / compiler

No response

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions