Version 0.13

G-Node · Feb 12, 2018 · 22baace · 22baace
1 parent a1f137b
commit 22baace
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,17 @@
 
 **Beta** releases are not listed. Changes for beta releases are included in the next full release. Current changes are listed in the top **Unreleased** section.
 
+## Version 0.13
+
+### New features
+- Create repository on the server without cloning: `gin create --no-clone`
+    - Cannot be used in combination with `--here`.
+- Delete public SSH key from the server: `gin keys --delete <index>`
+
+### Relevant PRs:
+- #157: Delete key command
+- #160: `gin create --no-clone`
+
 ## Version 0.12
 
 ### New features and feature changes

diff --git a/debdock/debian/changelog b/debdock/debian/changelog
@@ -1,3 +1,9 @@
+gin-cli (0.13); urgency=low
+
+  * Release 0.13
+  * Create repository on the server without cloning: `gin create --no-clone`. Cannot be used in combination with `--here`.
+  * Delete public SSH key from the server: `gin keys --delete <index>`
+
 gin-cli (0.12); urgency=low
 
   * Release 0.12

diff --git a/version b/version
@@ -1 +1 @@
-version=0.13dev
+version=0.13