[dune-common] 02/07: get-orig-source: update usage message

[Ansgar Burchardt]

This is an automated email from the git hooks/post-receive script.

ansgar pushed a commit to annotated tag debian/2.6_20171113-1
in repository dune-common.

commit a47a1970f6d479d0ee06028df4c12df6746a7da3
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Mon Nov 13 19:05:33 2017 +0100

    get-orig-source: update usage message
---
 debian/get-orig-source | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/debian/get-orig-source b/debian/get-orig-source
index 1d7deff..e203a9a 100755
--- a/debian/get-orig-source
+++ b/debian/get-orig-source
@@ -10,11 +10,10 @@ set -u
 set -o pipefail
 
 usage() {
-  echo "usage: get-orig-source [options...] <module> <version> [<tree>] [<rev>]
-  module:  name of dune module (eg. dune-common)
+  echo "usage: get-orig-source [options...] <module> <version> [<branch>]
+  module:  name of dune module (e.g. dune-common)
   version: upstream version number
-  tree:    branch (default: master)
-  rev:     revision number
+  branch:  branch (default: master); can also be a tag or commit id
 
   options:
   --snapshot: date and Git revision is appended to the version number

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/dune-common.git