githumerge: skip if already merged
authorJean Privat <jean@pryen.org>
Fri, 26 Aug 2016 00:20:52 +0000 (20:20 -0400)
committerJean Privat <jean@pryen.org>
Fri, 26 Aug 2016 00:20:52 +0000 (20:20 -0400)
commitf675224169d666d85d34ce0f0b895aa1fd3e5e64
tree2f7597fff5ab2225c3bd8cc1d4a4734b2544c4f3
parentc071a9542d47b82735f9339b41d4de2e1ae39f21
githumerge: skip if already merged

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