ci: expose distro name in dockerized GitHub jobs
[git/gitster.git] / .github / 
tree98e0096c83ce51f83f4f7a8af6cb382ea8c3e4f3
drwxr-xr-x   ..
-rw-r--r-- 1093 CONTRIBUTING.md
-rw-r--r-- 591 PULL_REQUEST_TEMPLATE.md
drwxr-xr-x - workflows