Update release procedure for 1.3.x versions

Author: Gedochao

.github/release/release-procedure.md

@@ -22,13 +22,13 @@
     - [ ] Wait for the `Update dist` PR to be automatically created after the previous one has been merged, and then
       proceed to merge it.
     - [ ] Make a release with the updated Scala CLI version.
-    - [ ] Update the `v1` & `v1.2` tags to the latest release commit.
+    - [ ] Update the `v1` & `v1.3` tags to the latest release commit.
       ```bash
       git fetch --all
-      git checkout origin v1.2.x
-      git tag -d v1.2
-      git tag v1.2
-      git push origin v1.2 -f 
+      git checkout origin v1.3.x
+      git tag -d v1.3
+      git tag v1.3
+      git push origin v1.3 -f 
       git tag -d v1
       git tag v1
       git push origin v1 -f