production setup for automatically pushing all fdroidclient stable versions to GitHub Releases
fdroidserver!1471 (merged) is finalized, so now we need to nail down the long term production setup for automatically pushing each new release to GitHub Releases. My GitHub knowledge is pretty rusty. Here's what I propose:
- Use https://github.com/fdroid-bot to do this.
- https://github.com/fdroid-bot account given just the privs needed to push to GitHub Releases on https://github.com/f-droid/fdroidclient
- Add this to the production deploy process on the buildserver.
- Proxy the GitHub API calls over Tor.
- Use an API token from https://github.com/fdroid-bot and put it in config.yml on the buildserver