Discord bot to post an update about Covid19 weekly incidence
ci: use openssl3-dev
ci: change image to alpine/edge
ci: don't build in release mode



You can also use your local clone with git send-email.


Post the current incidence numbers of the specified districts to a specified discord channel.

This uses rki-covid-api written by marlon360 as the REST API source.


Install the dependencies:

  • Rust

Then compile incidence_updates:

cargo build


Set these environment variables:

  • DISCORD_TOKEN: the application token of your discord bot
  • CHANNEL_ID: the discord channel to post the results to
  • DISTRICTS: a comma separated list with the district codes to be checked


Send patches and questions to ~witcher/public-inbox@lists.sr.ht.

Instructions for preparing a patch are available at git-send-email.io.

Bugs and todo can be found at ~witcher/incidence_updates.