Hi all, The greatest advantage of our merge script is the ability of backporting to other branches.
The greatest disadvantage of our merge script is it closes the pull request (red color) instead of "merging" (purple color). We could replace the current pure git approach of merging the main commit and call a github API to squash-and-merge. Do you know about a good python lib for doing this? Andor
