Checklist: return to master branch when done
[packages/time.git] / Checklist
index c319dc6..bedd1f6 100644 (file)
--- a/Checklist
+++ b/Checklist
@@ -71,3 +71,7 @@ Before release:
     git checkout ghc
     git merge master
     git push
+
+15. Restore local branch for next development:
+
+    git checkout master