Skip to content

Adding /set-log-level command #454

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 17, 2022
Merged

Conversation

Zabuzard
Copy link
Member

Overview

This adds the /set-log-level command, which changes the log level hot, while the bot runs.

Code stolen from the idiomatic SO: https://stackoverflow.com/a/44678752/2411243

@Zabuzard Zabuzard added new command Add a new command or group of commands to the bot priority: major labels Jun 17, 2022
@Zabuzard Zabuzard requested review from a team as code owners June 17, 2022 14:02
@Zabuzard Zabuzard self-assigned this Jun 17, 2022
@Zabuzard
Copy link
Member Author

Kinda in a hurry for a hotfix. Merging this as soon as the pipe runs through, testing it on develop directly.

@Zabuzard Zabuzard force-pushed the feature/change_log_level_hot branch from 9d5bdc9 to 5968ea2 Compare June 17, 2022 14:33
@Zabuzard Zabuzard force-pushed the feature/change_log_level_hot branch from 5968ea2 to 3b52b8e Compare June 17, 2022 14:40
@sonarqubecloud
Copy link

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

0.0% 0.0% Coverage
0.0% 0.0% Duplication

@Zabuzard Zabuzard merged commit 0822e1e into develop Jun 17, 2022
@Zabuzard Zabuzard deleted the feature/change_log_level_hot branch June 17, 2022 14:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
new command Add a new command or group of commands to the bot priority: major
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant