projects
/
git.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
[PATCH] archimport: Actually cope with merges from "remote" repositories. Plus: Nicer...
[git.git]
/
git-checkout.sh
diff --git
a/git-checkout.sh
b/git-checkout.sh
index
4a605cd
..
37afcdd
100755
(executable)
--- a/
git-checkout.sh
+++ b/
git-checkout.sh
@@
-22,7
+22,8
@@
while [ "$#" != "0" ]; do
force=1
;;
*)
- rev=$(git-rev-parse --verify "$arg^0") || exit
+ rev=$(git-rev-parse --verify "$arg^0" 2>/dev/null) ||
+ die "I don't know any '$arg'."
if [ -z "$rev" ]; then
echo "unknown flag $arg"
exit 1