github_merge: add options
authorJean Privat <jean@pryen.org>
Fri, 26 Aug 2016 01:02:59 +0000 (21:02 -0400)
committerJean Privat <jean@pryen.org>
Fri, 26 Aug 2016 15:55:24 +0000 (11:55 -0400)
commit03ead96686dc0607dc1f1ff8db677c760fd44648
treea42266bf1b2d784f483882aff9b808ace36a0723
parentf675224169d666d85d34ce0f0b895aa1fd3e5e64
github_merge: add options

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