Skip to content

merging cleanly when using GitHub PR workflow #109

Closed
@btc

Description

If there are multiple open PRs and one is merged, the remaining PRs fall behind master and create hard-to-bisect, overlapping merges.

I'm happy to perform merges locally so they apply cleanly, but I am sensitive to the extra work that a "merge-locally" policy creates. Thoughts?

https://gist.github.com/jbenet/ee6c9ac48068889b0912

Activity

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

Metadata

Assignees

No one assigned

    Labels

    kind/supportA question or request for support

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions