We should be able to create a backport for a Pull Request after the merge is done. If we label a Pull Request with a Backport to: ... label after the merge, we could catch that event in the bot, look at the already existing backports by skimming through the Pull Request's comments and create a new Backport if needed.
We should be able to create a backport for a Pull Request after the merge is done. If we label a Pull Request with a
Backport to: ...label after the merge, we could catch that event in the bot, look at the already existing backports by skimming through the Pull Request's comments and create a new Backport if needed.