2023-12-18 15:48:56 +01:00
|
|
|
<settings>
|
2023-12-18 16:10:47 +01:00
|
|
|
<servers>
|
|
|
|
<server>
|
2023-12-19 09:17:10 +01:00
|
|
|
<id>dev</id>
|
2023-12-18 16:10:47 +01:00
|
|
|
<username>${server_username}</username>
|
|
|
|
<password>${server_password}</password>
|
|
|
|
</server>
|
|
|
|
</servers>
|
|
|
|
<profiles>
|
|
|
|
<profile>
|
|
|
|
<id>ossrh</id>
|
|
|
|
<properties>
|
|
|
|
<gpg.passphrase>${gpg_passphrase}</gpg.passphrase>
|
|
|
|
<gpg.keyname>${gpg_keyname}</gpg.keyname>
|
|
|
|
</properties>
|
|
|
|
</profile>
|
|
|
|
</profiles>
|
|
|
|
</settings>
|