From 9cf2ec7204022bb1b73747f12a52ea2d0d7e45f0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9s=20Sicard-Ram=C3=ADrez?= Date: Fri, 29 Aug 2014 07:18:06 -0500 Subject: [PATCH] [ releases ] Minor changes * Push all the changes and the new tag simultaneously. * Update Agda wiki after removing release-specific information. --- releases.txt | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/releases.txt b/releases.txt index b95f9e82c8..390037909b 100644 --- a/releases.txt +++ b/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.