I have a question about versioning. On GitHub, I can add a version number to my release of the master branch. This will then become the version of the package and the version of the documentation that
Documenter.jl creates. Correct?
Then, there is
project.toml where I can enter a version number manually. Arguably, the version from
project.toml should be identical with the version of my latest release of the master branch. And I have to keep track of this myself, correct?
Does that mean the following: before I create a release on GitHub to version
vX.Y.Z, I should add
version = "vX.Y.Z" manually to the
project.toml, and then push it to the master branch?