Merge pull request #2777 from Gedochao/release/v1.2.0

Add release notes for v1.2.0

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.1` tags to the latest release commit.
+    - [ ] Update the `v1` & `v1.2` tags to the latest release commit.
       ```bash
       git fetch --all
-      git checkout origin v1.1.x
-      git tag -d v1.1
-      git tag v1.1
-      git push origin v1.1 -f 
+      git checkout origin v1.2.x
+      git tag -d v1.2
+      git tag v1.2
+      git push origin v1.2 -f 
       git tag -d v1
       git tag v1
       git push origin v1 -f