github_merge: do not crash if a user has no public name
[nit.git] / contrib /
drwxr-xr-x   ..
-rw-r--r-- 3881 github_merge.nit
drwxr-xr-x - github_search_for_jni
drwxr-xr-x - inkscape_tools
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