Merge: Some more small improvements on gitlab-ci
[nit.git] / contrib / github_merge / man /
drwxr-xr-x   ..
-rw-r--r-- 477 github_merge.man