Skip to content

Feature: logging level and disabling plugins#5

Merged
wu-sheng merged 1 commit intomasterfrom
feature/configs
May 10, 2020
Merged

Feature: logging level and disabling plugins#5
wu-sheng merged 1 commit intomasterfrom
feature/configs

Conversation

@kezhenxu94
Copy link
Copy Markdown
Member

  • Add logging level configuration item
  • Add plugin disabling mechanism
  • Some trivial chores

@kezhenxu94 kezhenxu94 added documentation Improvements or additions to documentation enhancement New feature or request chore Project chores labels May 10, 2020
@kezhenxu94 kezhenxu94 added this to the 1.0 milestone May 10, 2020
@kezhenxu94 kezhenxu94 requested a review from wu-sheng May 10, 2020 05:06
- Add logging level configuration item
- Add plugin disabling mechanism
- Some trivial chores
@wu-sheng wu-sheng merged commit 43794ac into master May 10, 2020
@wu-sheng wu-sheng deleted the feature/configs branch May 10, 2020 05:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Project chores documentation Improvements or additions to documentation enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants