Set git username and API token via settings.xml file.

This commit is contained in:
Tom Page
2020-10-19 12:03:32 +01:00
parent df03bfaef9
commit d5148dbf15
2 changed files with 6 additions and 2 deletions

View File

@@ -23,8 +23,7 @@ if [ -z ${RELEASE_VERSION} ] || [ -z ${DEVELOPMENT_VERSION} ];
exit 1
else
mvn --batch-mode \
-Dusername="${GITHUB_USERNAME}" \
-Dpassword="${GITHUB_API_TOKEN}" \
-settings .travis.settings.xml \
-DreleaseVersion=${RELEASE_VERSION} \
-DdevelopmentVersion=${DEVELOPMENT_VERSION} \
-DskipTests -D${release_type} -DuseReleaseProfile=false \