chore: modifica documentazione della release

kamaladafrica · Sep 13, 2023 · 5419f86 · 5419f86
1 parent dd67153
commit 5419f86
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/RELEASE.md b/RELEASE.md
@@ -45,5 +45,6 @@ Nella sezione `<profiles>` deve essere presente il profilo `ossrh` che contiene
 $ mvn -Prelease release:prepare
 $ git push --tags
 $ mvn -Prelease release:perform
+$ git push
 ```