added settings xml

This commit is contained in:
Diamantis Tziotzios 2022-12-06 16:40:36 +02:00
parent 0e9c4f52aa
commit 2287bd5af9
1 changed files with 18 additions and 0 deletions

18
settings.xml Normal file
View File

@ -0,0 +1,18 @@
<settings>
<servers>
<server>
<id>ossrh</id>
<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>