0

Merge pull request #6 from rjenkinsjr/move-to-circle

Even more CircleCI migration work
This commit is contained in:
Ronald Jack Jenkins Jr
2017-07-30 21:37:56 -04:00
committed by GitHub
2 changed files with 3 additions and 8 deletions

View File

@@ -20,9 +20,10 @@ deployment:
branch: master branch: master
commands: commands:
- mvn clean - mvn clean
- mvn -s settings.xml -Drtr.release=true - mvn -s settings.xml -Drtr.release=true -P release
- git config --global user.email "me@ronjenkins.info"
- git config --global user.name "Ronald Jack Jenkins Jr."
- git add pom.xml - git add pom.xml
- git commit -m "Committing release $(cat .version)" - git commit -m "Committing release $(cat .version)"
- git push
- git tag $(cat .version) - git tag $(cat .version)
- git push origin $(cat .version) - git push origin $(cat .version)

View File

@@ -242,12 +242,6 @@
<!-- Things to do only for releases. --> <!-- Things to do only for releases. -->
<profile> <profile>
<id>release</id> <id>release</id>
<activation>
<property>
<name>rtr.release</name>
<value>true</value>
</property>
</activation>
<!-- TODO: uncomment once we reach 1.0.0 --> <!-- TODO: uncomment once we reach 1.0.0 -->
<!--properties> <!--properties>
<site.profile>production</site.profile> <site.profile>production</site.profile>