github_merge: use new github repo
authorJean Privat <jean@pryen.org>
Fri, 21 Aug 2015 21:51:53 +0000 (17:51 -0400)
committerJean Privat <jean@pryen.org>
Fri, 21 Aug 2015 22:56:55 +0000 (18:56 -0400)
commit558ee3f8093239b96c3b805ab66f37275cc5734b
treefcf411e4c7d21ef1612fe9b34ee2b9ac0dd700dc
parent823c2b3ce42644374bfd53c4bbb6b1737b05d799
github_merge: use new github repo

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