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.tomlshould 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?