From 69eb5828db7acd81fb2030ba8b8feb6db7adbfa9 Mon Sep 17 00:00:00 2001
From: marscher <m.scherer@fu-berlin.de>
Date: Sun, 22 Feb 2015 15:23:32 +0100
Subject: [PATCH] added developer notes

---
 DeveloperNotes.rst | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 DeveloperNotes.rst

diff --git a/DeveloperNotes.rst b/DeveloperNotes.rst
new file mode 100644
index 000000000..a7c8206a6
--- /dev/null
+++ b/DeveloperNotes.rst
@@ -0,0 +1,12 @@
+Developer Notes
+===============
+
+
+Publish a new release
+---------------------
+1. merge current devel branch into master
+   git checkout master; git merge devel
+2. make a new tag 'vmajor.minor.patch' where major is major release and so on
+   git tag -m "release description" v1.1
+3. IMPORTANT: first push, then push --tags
+   git push; git push --tags