diff --git a/RELEASE b/RELEASE
index 3b7071c1d1d1f9a51a4454a607f45b84875b1415..732a04ddc24c1f6206da6ebdb1ce4a0f8a74cc58 100644
--- a/RELEASE
+++ b/RELEASE
@@ -1,4 +1,4 @@
-Things to do before internal release.
+Things to do before a release.
 1. Update documentation. commit.
 2. Update CHANGELOG file. commit.
 3. Update VERSION file. commit.
@@ -6,12 +6,3 @@ Things to do before internal release.
 5. Tag current version based on VERSION file.
 6. Push master to origin.
 7. Push tag to origin.
-
-
-Things to do before public release.
-8. Create a release branch off of public.
-9. Migrate changes from latest internal release: cp -r * ~1/;cp .gitignore ~1/
-10. Check out public and merge release into public (use --no-ff option)
-11. Tag current version based on VERSION file.
-12. Push public to origin.
-13. Push tag to origin.