contrib: add `github_merge` the script I use to produce merge of PR
authorJean Privat <jean@pryen.org>
Tue, 22 Apr 2014 16:08:59 +0000 (12:08 -0400)
committerJean Privat <jean@pryen.org>
Tue, 22 Apr 2014 17:33:10 +0000 (13:33 -0400)
commitb92af1fe0affe30369e8a356473cb8791668f16e
treefc0330ca76154db0d6d160d91f4462d150d8a1a7
parentad4ae07f66f353e61a782df7c00d4172df92a5bc
contrib: add `github_merge` the script I use to produce merge of PR

Signed-off-by: Jean Privat <jean@pryen.org>
contrib/github_merge.nit [new file with mode: 0644]