Interesting! I didn't know about git fetch --tags, that worked. But yes, it's not on a branch. We'll use this for our tests. Thanks everyone!
K. On Tue, Jun 9, 2015 at 11:31 AM, Christian Kellermann <ck...@pestilenz.org> wrote: > * Kristian Lein-Mathisen <kristianl...@gmail.com> [150609 11:25]: > > Interesting. I can't fint that tag: > > How did you update? Git will only fetch tags from the server if you tell > it to do so, for example "git fetch --tags". > > The tag interestingly resides on a commit without a branch though, it > sits on 671a5eb3fa2cf29f7e9d7a877e22335fb503934a. > > So I guess what happened is that Moritz created a tag, then moved the > commit to some place else (which in essence is creating a new commit > with its own hash). BUT as tags are just bookmarks to commit hashes this > does not automatically adjust the tag. > > TL;DR the tag is worthless and needs to be reset by the author. > > As a workaround tag eacc846be7cf4026eb8e8f6eaa577082d826da2e as you > proposed, Moritz should do that for the call-cc.org repo. > > Sorry, > > Christian > > > -- > May you be peaceful, may you live in safety, may you be free from > suffering, and may you live with ease. >
_______________________________________________ Chicken-users mailing list Chicken-users@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-users