contrib: add `github_merge` the script I use to produce merge of PR
[nit.git] / contrib /
drwxr-xr-x   ..
-rw-r--r-- 3728 github_merge.nit
drwxr-xr-x - github_search_for_jni
drwxr-xr-x - nitcc
drwxr-xr-x - pep8analysis
drwxr-xr-x - physical_interface_for_mpd_on_rpi
drwxr-xr-x - sort_downloads
drwxr-xr-x - wiringPi