submodule--helper: teach push-check to handle HEAD
[gitweb.git] / ci /
drwxr-xr-x   parent (dest: ; base: c7be7201a7b71f590325f0d858f909a4c0b443f6)
-rwxr-xr-x 875 run-linux32-build.sh
-rwxr-xr-x 213 test-documentation.sh