-
-
Notifications
You must be signed in to change notification settings - Fork 119
Closed
Description
So I merged #275 today, but the bot was still behaving like before the PR. I just logged into the bot instance and noticed the bot server was running since Aug 9 0:06 UTC, the PR was merged at Aug 9 21:07 UTC. The repository folder was correctly updated, but the server didn't restart to apply the changes. Is the server supposed to restart when a new commit is merged, or does it restart once a day (or only manually)?
Metadata
Metadata
Assignees
Labels
No labels