-# The tip must always be new
-already=$(git branch --contains "$newrev")
-if [ "$already" != "" ] ; then
- already=${already## }
- echo "----------------------------------------------------"
- echo
- echo "$short_refname is already referred to by $already"
- echo
- echo "----------------------------------------------------"
- exit 1
-fi
+# # The tip must always be new
+# already=$(git branch --contains "$newrev")
+# if [ "$already" != "" ] ; then
+# already=${already## }
+# echo "----------------------------------------------------"
+# echo
+# echo "$short_refname is already referred to by $already"
+# echo
+# echo "----------------------------------------------------"
+# exit 1
+#fi