diff options
| -rwxr-xr-x | aux/ci/git-pre-push.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/aux/ci/git-pre-push.sh b/aux/ci/git-pre-push.sh index 951d353..5546cb2 100755 --- a/aux/ci/git-pre-push.sh +++ b/aux/ci/git-pre-push.sh @@ -5,6 +5,15 @@ PACKAGE="$(basename "$PWD")" LOGS_DIR="/opt/ci/$PACKAGE/logs" REMOTE_GIT_DIR="/srv/git/$PACKAGE.git" +DESCRIPTION="$(mktemp)" +if [ -f description ] +then + cp description "$DESCRIPTION" +else + git config euandreh.description > "$DESCRIPTION" +fi + +scp "$DESCRIPTION" "git.euandreh.xyz:$REMOTE_GIT_DIR/description" ssh git.euandreh.xyz mkdir -p "$LOGS_DIR" scp aux/ci/ci-build.sh "git.euandreh.xyz:$(dirname "$LOGS_DIR")/ci-build.sh" scp aux/ci/git-post-receive.sh "git.euandreh.xyz:$REMOTE_GIT_DIR/hooks/post-receive" |