Closed h0uter closed 1 month ago
What is recommended way to specificy this pull request should be merged after the
ft-add-lives
one?
@h0uter, I think that merge order makes sense. I would then also change the target branch of this PR from main
to ft-add-lives
such that the commits of your base branch do not show up in the diffs here (I think only PR authors can edit this).
edit: turns out I actually could edit this
What is recommended way to specificy this pull request should be merged after the
ft-add-lives
one?@h0uter, I think that merge order makes sense. I would then also change the target branch of this PR from
main
toft-add-lives
such that the commits of your base branch do not show up in the diffs here (I think only PR authors can edit this).edit: turns out I actually could edit this
and then how do we merge it after that?
and then how do we merge it after that?
@h0uter you would have to merge the PRs manually in-order. So in this case that would mean first merging #4 into main
, afterwards github automatically adjusts the target of this branch and we can merge it.
What is recommended way to specificy this pull request should be merged after the
ft-add-lives
one?