Hello,
Here's a proposal on how we tag our releases. This is primarily to
help continuous integration and stay in line with other communities.
This should also help git describe do the right thing.
For those who don't have the context, currently we don't create tags
at the beginning of the
Hello,
Here's a proposal on how we tag our releases. This is primarily to
help continuous integration and stay in line with other communities.
This should also help git describe do the right thing.
For those who don't have the context, currently we don't create tags
at the beginning of the
Hello,
Here's a proposal on how we tag our releases. This is primarily to
help continuous integration and stay in line with other communities.
This should also help git describe do the right thing.
For those who don't have the context, currently we don't create tags
at the beginning of the