add dev profile to settings

2023-12-13 11:27:10 +02:00 · 2023-12-13 11:27:10 +02:00 · d40e58d06c
parent 08624cbe74
commit d40e58d06c
1 changed files with 7 additions and 0 deletions
--- a/settings.xml
+++ b/settings.xml
@ -6,6 +6,13 @@
 			<password>${server_password}</password>
 		</server>
 	</servers>
+	<servers>
+		<server>
+			<id>dev</id>
+			<username>${server_username}</username>
+			<password>${server_password}</password>
+		</server>
+	</servers>
 	<profiles>
 		<profile>
 			<id>ossrh</id>