Re: [Mimblewimble] Cherrypick automation in Github

Thanks Michalis, this should be very useful! - Igno > Original Message > Subject: [Mimblewimble] Cherrypick automation in Github > Local Time: 13 January 2018 11:25 PM > UTC Time: 13 January 2018 23:25 > From: karga...@protonmail.ch > To: mimblewimble@l

[Mimblewimble] Cherrypick automation in Github

Hi folks, github.com/mimblewimble-robot is our new friend, capable of cherry-picking Github PRs across branches and we (Igno and I) recently configured it to work for mimblewimble/grin. You can use it by commenting on a PR, like so: /cherrypick eg. on a PR targetting master you can comment "

[Mimblewimble] Cherrypick automation in Github

Hi folks, github.com/mimblewimble-robot is our new friend, capable of cherry-picking Github PRs across branches and we (Igno and I) recently configured it to work for mimblewimble/grin. You can use it by commenting on a PR, like so: /cherrypick eg. on a PR targetting master you can comment "