v2.1.3

• most commands only work in public channels now

v2.1.2

• store messages created during the .fetch command
• discard removed Discord messages (but recreate them on a subsequent update)

v2.1.1

• server administrators and managers can also edit settings
• fix .list not accepting --language

v2.1

• critical fixes for functionality not covered by tests
• .fetch command to quickly fetch all open but not yet announced pulls

v2

the bot supports multiple channels/servers now

v1.4.1

create classes for non-customized languages on the fly

v1.4

migrate db during deploy workflow

v1.3.1

prevent MonitorPulls from dying (tests would have caught that)

v1.3

always clone the repository from scratch

v1.2

also known as the first succesful deployment attempt using GitHub Actions