github-bot: add $LOGS_DIR env variable #602
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
We've had an issue with all logs written by the github-bot being deleted whenever the bot is re-deployed. That's especially bad when we want to debug issues happening a few days ago, which would be impossible if we've done a re-deploy in between.
The root cause of that issue is that we clone the github-bot repo onto the server and write logs to
./logs
of that cloned repo. Whenever we re-deploy we rungit clean -fdx
before updating the repo, resulting in any untracked files to be deleted.By adding a
$LOGS_DIR
pointing to a directory outside the git repo,will prevent logs being deleted cause of re-deploys.
P.S. we haven't added support for$LOGS_DIR
in the bot yet, will do that as soon as this lands.