From 1aa9668c8887c53d47cbce342edf2ca25b660bf0 Mon Sep 17 00:00:00 2001
From: Sam Gleske <sag47@drexel.edu>
Date: Fri, 8 Nov 2013 15:29:34 -0500
Subject: [PATCH] update RELEASE

---
 RELEASE | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

diff --git a/RELEASE b/RELEASE
index 3b7071c..732a04d 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.
-- 
GitLab