2022-12-06 15:40:36 +01:00
|
|
|
<settings>
|
|
|
|
<servers>
|
|
|
|
<server>
|
|
|
|
<id>ossrh</id>
|
|
|
|
<username>${server_username}</username>
|
|
|
|
<password>${server_password}</password>
|
|
|
|
</server>
|
2023-12-13 10:27:10 +01:00
|
|
|
<server>
|
|
|
|
<id>dev</id>
|
|
|
|
<username>${server_username}</username>
|
|
|
|
<password>${server_password}</password>
|
|
|
|
</server>
|
|
|
|
</servers>
|
2022-12-06 15:40:36 +01:00
|
|
|
<profiles>
|
|
|
|
<profile>
|
|
|
|
<id>ossrh</id>
|
|
|
|
<properties>
|
|
|
|
<gpg.passphrase>${gpg_passphrase}</gpg.passphrase>
|
|
|
|
<gpg.keyname>${gpg_keyname}</gpg.keyname>
|
|
|
|
</properties>
|
|
|
|
</profile>
|
|
|
|
</profiles>
|
|
|
|
</settings>
|