Release Guide¶
- Bump the version number (
sed -i -e 's/1.2.1/1.2.2/g' *.te
). - Create a PR with all the changes above and merge it after a review.
- Create a release on github. It will create the corresponding tag.
- In that release, Select "Auto-generate release notes"