coqbot should store as much info as possible in the logs when something unexpected has happened
Zimmi48 opened this issue · 0 comments
Zimmi48 commented
For instance, in the case that has happened today, the logs didn't contain any information but they could have printed the result of the GitHub query and which comment ID coqbot was looking for...