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

Update 'data/dns/ripnet.dn42'

Browse source
This commit is contained in:
doqk 2018-02-24 17:26:34 +00:00 • committed by Lakota Norberg
parent f50aa580fa
commit 2605a12260
No known key found for this signature in database
GPG key ID: FE79C028E0B4E8CE
6862 changed files with 0 additions and 52457 deletions
Download patch file Download diff file Expand all files Collapse all files

23
check-remote
View file

@ -1,23 +0,0 @@
#!/bin/sh -e
if [ $# -lt 3 ]
then
echo "Usage: $0 GIT-USER GIT-BRANCH USER-MNT"
exit
fi
clean_up() {
git merge --abort > /dev/null
}
(git merge HEAD || clean_up) > /dev/null
git pull --ff-only > /dev/null
if ! git config "remote.$1.url" > /dev/null; then
git remote add "$1" "git@git.dn42:$1/registry.git"
fi
git fetch "$1" 2> /dev/null
git merge --no-ff --no-commit "$1/$2" 2> /dev/null
./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