Need release procedure

[hmdunce]

Problem

Don't know how to make a release

Context

Can we do it manually at first? I guess I've never done a release on GitHub...

Eventually would be good to use a workflow, of course. It seems like softprops/action-gh-release is very popular 🤔

[kaj-se]

@hmdunce maybe this helps -> https://gerrit.googlesource.com/git-repo/+/master/docs/release-process.md