Skip to content

flakeUpdate: also pull from main branch when the update branch wasn't merged #127

Open
@roberth

Description

Currently the merge base remains fixed. This is ok when updates are merged regularly, but otherwise, it may produce unnecessary conflicts.
Workaround: delete the update branch and re-run the update effect.

More requirements:

  • By default, try to keep history, which can be useful for bisection.
  • Do not throw away non-bot commits.

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions