Update pom.xml to deploy to aws s3
</repositories>
<distributionManagement>
<repository>
- <id>runtime-verification</id>
+ <id>runtime.verification</id>
<name>Runtime Verification Repository</name>
- <url>http://office.runtimeverification.com:8888/repository/internal</url>
+ <url>s3://repo.runtime.verification/repository/internal</url>
</repository>
<snapshotRepository>
- <id>runtime-verification.snapshots</id>
+ <id>runtime.verification.snapshots</id>
<name>Runtime Verification Snapshot Repository</name>
- <url>http://office.runtimeverification.com:8888/repository/snapshots</url>
+ <url>s3://repo.runtime.verification/repository/snapshots</url>
</snapshotRepository>
</distributionManagement>
</reporting>
<build>
+ <extensions>
+ <extension>
+ <groupId>org.springframework.build</groupId>
+ <artifactId>aws-maven</artifactId>
+ <version>5.0.0.RELEASE</version>
+ </extension>
+ </extensions>
<pluginManagement>
<plugins>
<plugin>
