On the dev sync today I offered to share a copy of the script I use for backporting, and here it is: https://gist.github.com/gianm/15eef56888f5eed88c4f142c930f8dc2
It has one known bug: for some reason, the label and milestone don't get set properly on the backport PR, and so you have to do it manually. If anyone can figure this one out then I'd be grateful :) Gian
