search

coq / bot

A (Coq Development Team) bot written in OCaml
MIT License
23 stars 14 forks source link

Removing (and changing?) the `coqbot.toml` does not work without intervention #121

Open myii opened 3 years ago

myii commented 3 years ago

Linked to #120. Was also discovered by @Zimmi48 in this topic in Zulip.

This was the coqbot.toml config that failed:

[mapping]
gitlab = "saltstack-formulas/formulas/github/saltstack-formulas/test-formula"

I had already removed this but it wasn't picked up by coqbot until @Zimmi48 restarted the bot:

... the data was not updated when you removed the file. So basically, I've restarted the bot to remove the data from memory.

Zimmi48 commented 3 years ago

Related to this issue, we should also ensure that all configuration files are loaded as soon as the bot is started because otherwise GitLab status checks may fail to be reported to GitHub if the correspondence table is missing entries.

connorshea commented 1 year ago

FWIW I also need a bot restart for this reason 😅 https://github.com/connorshea/vglist/commit/ef370f2a3996e1d41cc59eda8af921b055c67509

Zimmi48 commented 1 year ago

Sorry @connorshea, I only noticed your comment now. The bot should restart in a few minutes.