PreMiD experienced a minor incident on July 24, 2020 affecting Discord bot, lasting 1h 19m. The incident has been resolved; the full update timeline is below.
Affected components
Discord bot
Update timeline
- investigating Jul 24, 2020, 11:53 PM UTC
We are currently investigating this issue. Ticket creating seems to be working fine, but closing tickets seems to be broken.
- resolved Jul 25, 2020, 01:12 AM UTC
This incident has been resolved.