phoedos/pmd
1
1
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Specify branch name when pushing, make commit quiet

Browse Source
This commit is contained in:
Andreas Dangel
2017-02-25 21:38:42 +01:00
parent 61df693ab4
commit 2196924b7d
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.travis/release.sh
View File

@ -47,12 +47,13 @@ rsync -a target/pmd-doc-${RELEASE_VERSION}/ pmd.github.io/pmd-${RELEASE_VERSION}
cd pmd.github.io
git config user.email "adangel@users.sourceforge.net"
git config user.name "Andreas Dangel (PMD Releases)"
git checkout master
git add pmd-${RELEASE_VERSION}
git commit -m "Added pmd-${RELEASE_VERSION}"
git commit -q -m "Added pmd-${RELEASE_VERSION}"
git rm -qr latest
cp -a pmd-${RELEASE_VERSION} latest
git add latest
git commit -m "Copying pmd-${RELEASE_VERSION} to latest"
git push origin
git commit -q -m "Copying pmd-${RELEASE_VERSION} to latest"
git push origin master
)