1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-11-17 22:44:49 +01:00

Merge branch 'se/tag' into next

* se/tag:
  Strip useless "tags/" prefix from git-tag -l output
This commit is contained in:
Junio C Hamano 2006-05-15 00:55:31 -07:00
commit cee1b9549b

View file

@ -25,14 +25,12 @@ do
force=1 force=1
;; ;;
-l) -l)
cd "$GIT_DIR/refs" &&
case "$#" in case "$#" in
1) 1)
find tags -type f -print ;; set x . ;;
*)
shift
find tags -type f -print | grep "$@" ;;
esac esac
shift
git rev-parse --symbolic --tags | sort | grep "$@"
exit $? exit $?
;; ;;
-m) -m)