On 22.08.2014 22:33, Junio C Hamano wrote:
> Stefan Beller <stefanbel...@gmail.com> writes:
>> On 22.08.2014 22:03, Junio C Hamano wrote:
>>> Stefan Beller <stefanbel...@gmail.com> writes:
>>>> So there would be tags like:
>>>> and so on. Whenever there is no tag at the tip of the branch, we'd
>>>> know there is something wrong.
>>> Who creates that tag?
>>> My guess would be usability as tagging so many branches is cumbersome
>> for a maintainer?
> Did you answer my question? Who creates these tags?
It would be up to the one who pushes, the user, or in our case you!
This way of working would require the informal notion of
'always tag the last commit before pushing.'
As I wrote in the first email, I made up this workaround and wanted to
see, what's so bad about that workaround and how to overcome the
problems. And all I could find was a burden on the maintainer/user.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html