From 5bdbbfb198244c9a9000efb5e0c23a16c4d3754a Mon Sep 17 00:00:00 2001
From: Kevin Huck <khuck@cs.uoregon.edu>
Date: Tue, 10 Dec 2019 14:50:35 -0800
Subject: [PATCH] renaming release script

---
 etc/make_release.txt | 33 ---------------------------------
 1 file changed, 33 deletions(-)
 delete mode 100644 etc/make_release.txt

diff --git a/etc/make_release.txt b/etc/make_release.txt
deleted file mode 100644
index a52a98c1..00000000
--- a/etc/make_release.txt
+++ /dev/null
@@ -1,33 +0,0 @@
-#!/bin/bash -e
-# Update from origin
-git fetch origin
-
-# Get the latest develop and merge into master
-git checkout develop
-git pull
-git checkout master
-git pull
-git merge develop
-
-# Change this to the old and new tags
-oldtag=v2.1.6
-tagname=v2.1.7
-
-# Get the changes since last tag
-# git log $(git describe --tags --abbrev=0)..HEAD --oneline >& v2.1.0.txt
-./etc/maketag.sh
-
-# Edit the log to add a release description
-vi v${tagname}.txt
-
-# make a tag
-git tag -F v${tagname}.txt v${tagname}
-
-# push to origin!
-
-# push all changes
-git push --all -u origin master
-# push all tags
-git push --tags -f origin
-# prune deleted branches
-git remote prune github