From 4df81222ff36b08972898b0ad39721b12e4c1718 Mon Sep 17 00:00:00 2001 From: Andreas Dangel Date: Sun, 30 Sep 2018 11:26:26 +0200 Subject: [PATCH] Add more logging during release --- .travis/release.sh | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/.travis/release.sh b/.travis/release.sh index 2565125c88..9d468e4611 100755 --- a/.travis/release.sh +++ b/.travis/release.sh @@ -79,21 +79,30 @@ mkdir pmd.github.io git remote add origin git@github.com:pmd/pmd.github.io.git echo "latest/" > .git/info/sparse-checkout git pull --depth=1 origin master - log_info "Copying documentation from ../docs/pmd-doc-${RELEASE_VERSION}/ ..." + log_info "Copying documentation from ../docs/pmd-doc-${RELEASE_VERSION}/ to pmd-${RELEASE_VERSION}/ ..." rsync -ah --stats ../docs/pmd-doc-${RELEASE_VERSION}/ pmd-${RELEASE_VERSION}/ git status + echo "Executing: git add pmd-${RELEASE_VERSION}" git add pmd-${RELEASE_VERSION} + echo "Executing: git commit..." git commit -q -m "Added pmd-${RELEASE_VERSION}" + log_info "Copying pmd-${RELEASE_VERSION} to latest ..." git rm -qr latest cp -a pmd-${RELEASE_VERSION} latest + echo "Executing: git add latest" git add latest + echo "Executing: git commit..." git commit -q -m "Copying pmd-${RELEASE_VERSION} to latest" log_info "Generating sitemap.xml" ../.travis/sitemap_generator.sh > sitemap.xml + echo "Executing: git add sitemap.xml" git add sitemap.xml + echo "Executing: git commit..." git commit -q -m "Generated sitemap.xml" + + echo "Executing: git push origin master" git push origin master )