Commit bbb91d8a authored by lain's avatar lain

Merge branch 'feature/bot-flag' into 'develop'

Add 'Bot' settings option and badge

Closes #832

See merge request !1153
parents 1afa0f00 2b6d1690
Pipeline #27530 passed with stages
in 10 minutes and 23 seconds