Git 2.13

Signed-off-by: Junio C Hamano <gitster@pobox.com>

diff --git a/Documentation/RelNotes/2.13.0.txt b/Documentation/RelNotes/2.13.0.txt
index 80dca93947cf88a6e9981278e4af65aee76e27a4..aa99d4b3cef0f92ea5fc314ea8f77be5b665cb3e 100644 (file)
--- a/Documentation/RelNotes/2.13.0.txt
+++ b/Documentation/RelNotes/2.13.0.txt
@@ -579,6 +579,13 @@ notes for details).
  * Many stale HTTP(s) links have been updated in our documentation.
    (merge 613416f0be jk/update-links-in-docs later to maint).
 
+ * "git-shell" rejects a request to serve a repository whose name
+   begins with a dash, which makes it no longer possible to get it
+   confused into spawning service programs like "git-upload-pack" with
+   an option like "--help", which in turn would spawn an interactive
+   pager, instead of working with the repository user asked to access
+   (i.e. the one whose name is "--help").
+
  * Other minor doc, test and build updates and code cleanups.
    (merge df2a6e38b7 jk/pager-in-use later to maint).
    (merge 75ec4a6cb0 ab/branch-list-doc later to maint).

diff --git a/Documentation/git.txt b/Documentation/git.txt
index e9fc891a7f6e06e221314ad96e44daef6cbf45ef..fb10314c1d70c9af47119af6d111d40bdae09e6d 100644 (file)
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -44,6 +44,12 @@ unreleased) version of Git, that is available from the 'master'
 branch of the `git.git` repository.
 Documentation for older releases are available here:
 
+* link:v2.13.0/git.html[documentation for release 2.13]
+
+* release notes for
+  link:RelNotes/2.13.0.txt[2.13].
+
+
 * link:v2.12.3/git.html[documentation for release 2.12.3]
 
 * release notes for

diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index c9f6bc670fdabeb8cb0c9bc288cef1b8f6de5d3a..afcf9e9abfe72afb1f2727f5f0fd9a796db0406f 100755 (executable)
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 GVF=GIT-VERSION-FILE
-DEF_VER=v2.13.0-rc2
+DEF_VER=v2.13.0
 
 LF='
 '