* Kristian Lein-Mathisen <[email protected]> [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 [email protected] https://lists.nongnu.org/mailman/listinfo/chicken-users
