Hamano-San, thank you very much for the ultra-quick reply and your explanation. On 13.04.2012 04:07, Junio C Hamano wrote: >> Git has the information to know... > > No, it doesn't. > >> that tag X will be useless in repo Y >> because the commit Z it points to does not exist in Y. > > Think of a case where: I am only a simple user so I hope you will not be angry with me if I misunderstand you. I believe you are saying that "git push" does not have the necessary information which I take your word for. But git itself surely should know if commit Z is available from repo Y or am I mistaken? For example I can do "git log repoY:master|grep $ZcommitID". That would return empty if the master branch at repoY didn't have information about Z*. Thank you for bearing with me. Regards Rolf * Of course, it's possible that Z is not part of master but another branch at Y. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html