dn42/registry
1
0
Fork 0
mirror of https://git.dn42.dev/dn42/registry.git synced 2025-07-18 08:26:58 +08:00
Code Issues Projects Releases Packages Wiki Activity Actions

require fully expanded ipv6

Browse source
This commit is contained in:
xuu 2017-12-11 17:33:55 -07:00
parent d59abbcfa2
commit 567e413695
No known key found for this signature in database
GPG key ID: 8B3B0604F164E04F
6 changed files with 75 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

4
check-remote
View file

@ -17,7 +17,7 @@ if ! git config "remote.$1.url" > /dev/null; then
fi
git fetch "$1" 2> /dev/null
git merge --no-ff --no-commit "$1/$2" 2> /dev/null
./check-pol HEAD "$3" 2> /dev/null || (echo "Policy Check FAILED"; clean_up; exit 1)
./check-my-stuff "$3" 2> /dev/null || (echo "Schema Check FAILED"; clean_up; exit 1)
./check-pol HEAD "$3" || (echo "Policy Check FAILED"; clean_up; exit 1)
./check-my-stuff "$3" || (echo "Schema Check FAILED"; clean_up; exit 1)
echo OK
clean_up