Skip to content

Added config property in extension#47

Merged
PenguinBoi12 merged 1 commit intomainfrom
extension-config-property
Apr 17, 2026
Merged

Added config property in extension#47
PenguinBoi12 merged 1 commit intomainfrom
extension-config-property

Conversation

@PenguinBoi12
Copy link
Copy Markdown
Contributor

This PR adds a new property config in the Extension class that returns the bot's config. This is a shortened way to access the configuration of the bot.

This PR also includes a small refactoring of bot attribute, it's now accessed through a property as well.

@chrisdedman
Copy link
Copy Markdown
Contributor

Can you fix the unit test? @PenguinBoi12

@PenguinBoi12 PenguinBoi12 force-pushed the extension-config-property branch from 32bd9c4 to 3e4d2cd Compare April 17, 2026 00:25
@PenguinBoi12 PenguinBoi12 force-pushed the extension-config-property branch from 3e4d2cd to 25ecd75 Compare April 17, 2026 00:26
Copy link
Copy Markdown
Contributor

@chrisdedman chrisdedman left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@PenguinBoi12 PenguinBoi12 merged commit 5f8d673 into main Apr 17, 2026
4 checks passed
@PenguinBoi12 PenguinBoi12 deleted the extension-config-property branch April 17, 2026 00:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants