That is aweseome ;) I don't have scripts/shortcuts myself, because i grew to accustomed to do it manually (it's built into my muscle memory, for the most part). It's wasted time though (to not automate it).
I would also add a note automatically to the bugzilla bug linking to the new PR when it's created, and then mark the bug as fixed (with a link to the merge commit hash) when it's merged. Food for thought, thanks!
Comment
That is aweseome ;) I don't have scripts/shortcuts myself, because i grew to accustomed to do it manually (it's built into my muscle memory, for the most part). It's wasted time though (to not automate it).
I would also add a note automatically to the bugzilla bug linking to the new PR when it's created, and then mark the bug as fixed (with a link to the merge commit hash) when it's merged. Food for thought, thanks!