Interesting. I can't fint that tag:

$ git fetch origin 4.10.0rc1
remote: Counting objects: 3, done.
remote: Compressing objects: 100% (3/3), done.
remote: Total 3 (delta 2), reused 0 (delta 0)
Unpacking objects: 100% (3/3), done.
>From git://code.call-cc.org/chicken-core
 * tag               4.10.0rc1  -> FETCH_HEAD

$ cat .git/FETCH_HEAD
671a5eb3fa2cf29f7e9d7a877e22335fb503934a                tag '4.10.0rc1' of
git://code.call-cc.org/chicken-core
$ git log --oneline | grep 671a | wc
      0       0       0

Maybe something funny happened on the server-side? A commit that was
tagged, then a rebase? Should I make a local tag on commit
eacc846be7cf4026eb8e8f6eaa577082d826da2e
to be 4.10.0rc1?

Thanks,
K.

On Tue, Jun 9, 2015 at 9:35 AM, Peter Bex <pe...@more-magic.net> wrote:

> On Tue, Jun 09, 2015 at 09:24:34AM +0200, Kristian Lein-Mathisen wrote:
> > Great work Moritz and the team! Looking forward to test this on our
> > systems.
>
> Excellent!  I'd love to hear your feedback.
>
> > We are building from the git repo, is there a tag/branch for 4.10.0?
> > "prerelease" perhaps?
>
> Yes, there's the prerelease branch, and also a 4.10.0rc1 tag.
> I had to explicitly tell git to fetch the tag, because it didn't
> on a normal fetch/pull.  Why not?  Because it's git ;)
>
> Cheers,
> Peter
>
_______________________________________________
Chicken-users mailing list
Chicken-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-users

Reply via email to