Merge: github_merge tool
authorJean Privat <jean@pryen.org>
Tue, 22 Apr 2014 19:22:01 +0000 (15:22 -0400)
committerJean Privat <jean@pryen.org>
Tue, 22 Apr 2014 19:22:01 +0000 (15:22 -0400)
Extraction of the github API in its own lib and rewrite of my nodejs script in pure Nit

Pull-Request: #409
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>

1  2 
tests/testfull.sh

@@@ -17,6 -17,5 +17,7 @@@ don
        ../src/test_*.nit \
        ../contrib/sort_downloads/src/sort_downloads.nit \
        ../contrib/pep8analysis/src/pep8analysis.nit \
+       ../contrib/github_merge.nit \
 -      ../contrib/github_search_for_jni/src/github_search_for_jni.nit
 +      ../contrib/github_search_for_jni/src/github_search_for_jni.nit \
 +      ../contrib/inkscape_tools/src/svg_to_png_and_nit.nit \
 +      ../contrib/inkscape_tools/src/svg_to_icons.nit