[ releases ] Minor changes

* Push all the changes and the new tag simultaneously.
* Update Agda wiki after removing release-specific information.

releases.txt

@@ -24,15 +24,17 @@ procedure can be followed:
 
 * Update the copyright year range in the LICENSE file, if necessary.
 
-* Tag and push version X.Y (do not forget to record the changes above
-  first):
+* Tag version X.Y (do not forget to record the changes above first):
 
   git tag -a vX.Y -m "Agda standard library vX.Y"
+
+* Removed release-specific information from README.agda (do not forget
+  to record the changes).
+
+* Push all the changes and the new tag:
+
   git push --tags
 
 * Update the standard library page on the Agda wiki.
 
-* Removed release-specific information from README.agda and push the
-  changes.
-
 * Announce the release of the new version on the Agda mailing list.