github release procedure

[David Nadlinger]

On Thursday, 3 January 2013 at 00:59:04 UTC, Walter Bright wrote:
> 1. you cannot have a tag and a branch with the same name. At 
> least, you cannot push them with:
>
>     git push origin 2.N+1
>
> because it's ambiguous. So I prepended a v to the tag name.

This is okay – the leading 'v' for version tags is common 
practice with Git, and if the Git workflow described on the wiki 
is intended to be official, it should be updated to reflect that 
(in a hurry right now, so I'll pass).

David