b6a9e756e4
The makever script sets up the repo properly, so no need to patch things in the package stage. |
||
|---|---|---|
| .. | ||
| build_boards_manager_package.sh | ||
| merge_packages.py | ||
| package_pico_index.template.json | ||
| README.md | ||
| update_release.py | ||
| upload_release.py | ||
Publishing New Releases
First, update the version number throughout the repo and push the change:
./tools/makever.py --version X.Y.Z
git commit -a -m "Update version"
git push
GitHub CI Actions are used to automatically build a draft package whenever a tag is pushed to repo:
git tag X.Y.Z
git push origin X.Y.Z
This will generate a draft release with a bulleted-list of git changes.
Edit the list and title as desired, then use the Publish button on the web interface to publish the release
At this point, a GitHub Action will run that will download the new combined JSON file from the tag and update the global release with it.