1
0
mirror of https://github.com/git/git.git synced 2024-10-05 16:11:20 +02:00

Merge branch 'se/tag'

* se/tag:
  Strip useless "tags/" prefix from git-tag -l output
This commit is contained in:
Junio C Hamano 2006-05-15 23:43:27 -07:00
commit 94cdb38258

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