Re: No Gnus v0.13 is released

[Harry Putnam <reader@newsguy.com>]

Lars Ingebrigtsen <larsi@gnus.org> writes:

> The last release was (kinda) mistagged, so here's a new release with the
> proper tags.
>
> This release also includes a fix to the nntp bug that some people were
> experiencing, where the new async parallel NNTP fetching code would hang
> if you had some (somewhat degenerate) nntp backend definitions.
>
> Get it by saying
>
>   git clone http://git.gnus.org/gnus.git && cd gnus && git checkout n0-13

That doesn't appear to work here, maybe I've done something wrong?

Using the exact posted command:

,----
| You are in 'detached HEAD' state. You can look around, make experimental
| changes and commit them, and you can discard any commits you make in this
| state without impacting any branches by performing another checkout.
| 
| If you want to create a new branch to retain commits you create, you may
| do so (now or later) by using -b with the checkout command again. Example:
| 
|   git checkout -b new_branch_name
| 
| HEAD is now at f68a008... No Gnus v0.13 is released
`----