github_merge: add option --all to merge all PR
authorJean Privat <jean@pryen.org>
Fri, 26 Aug 2016 01:12:43 +0000 (21:12 -0400)
committerJean Privat <jean@pryen.org>
Fri, 26 Aug 2016 15:55:24 +0000 (11:55 -0400)
commit0a38e59ac9ad972f5f43ad81e20885a31e43bd5c
tree68c0631ee24d9c92b35a559d6b7fc46189cbbcef
parentd53c670c08a998d056deb272468eebecf9cba238
github_merge: add option --all to merge all PR

Signed-off-by: Jean Privat <jean@pryen.org>
contrib/github_merge.nit