blob: 904964c1e0ad8d6a94740a06b2cb51aff7d37817 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#!/bin/sh
cd /git
find -path './users' -prune -o -name config -print | while read repo_config; do
pushd $(dirname $repo_config)
if [ -e git-daemon-export-ok -a -e HEAD -a -e $(awk '{ print $2 }' HEAD) ]; then
/git/bin/close-github-pull-requests
fi
popd
done
|