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)
Signed-off-by: Jean Privat <jean@pryen.org>


No differences found