mirror of
https://git.dn42.dev/dn42/registry.git
synced 2025-06-21 03:05:38 +08:00
25 lines
580 B
Bash
Executable file
25 lines
580 B
Bash
Executable file
#!/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 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)
|
|
echo OK
|
|
clean_up
|