decouple beta releases from official releases

[monperrus]

No description provided.

[slarse]

I would suggest running the "normal" release script only when publishing a release on GitHub. It can be done like so with GitHub Actions:

on:
  release:
    types: published

See https://github.com/repobee/repobee/blob/95ce2ad734e4cd1135cb670cf42d48507481a76d/.github/workflows/deploy.yml for a complete example.

Note that this is of course only doable in the repository where the release is published. I don't know quite how to achieve that with the release pipeline being confined in this separate repository. Which I still find pretty inconvenient :)

[monperrus]

excellent idea!