@mclow
This PR adds github releases to publish_release.py. It includes a few more optional flags: enable debug. disable github releases. others.
The script could be modified to hardcode any of the choices. For example, set "--dry-run-github" to True in the script itself.
The 'progress' flag was interesting. I have enabled that in the script. Could be reverted if you prefer.
Consider this section of the wiki:
git tag boost-1.78.0
git submodule foreach 'git tag boost-1.78.0'
git push origin boost-1.78.0
git submodule foreach 'git push origin boost-1.78.0'
GitHub Releases require tags. Therefore the script automates the tagging process. However, it can work just as well with the --no-tags option, as long as git tag is run prior to publish_release.py. So that's the choice: either manually run git tag first, or allow the script to handle tagging (which is probably better).
@mclow This PR adds github releases to
publish_release.py
. It includes a few more optional flags: enable debug. disable github releases. others. The script could be modified to hardcode any of the choices. For example, set "--dry-run-github" to True in the script itself.The 'progress' flag was interesting. I have enabled that in the script. Could be reverted if you prefer.
Consider this section of the wiki:
GitHub Releases require tags. Therefore the script automates the tagging process. However, it can work just as well with the --no-tags option, as long as
git tag
is run prior to publish_release.py. So that's the choice: either manually rungit tag
first, or allow the script to handle tagging (which is probably better).