Skip to content

Add config to show banner, default to True#1194

Closed
Lukas-Dresel wants to merge 3 commits into
hugsy:mainfrom
Lukas-Dresel:feat/configurable-banner
Closed

Add config to show banner, default to True#1194
Lukas-Dresel wants to merge 3 commits into
hugsy:mainfrom
Lukas-Dresel:feat/configurable-banner

Conversation

@Lukas-Dresel

@Lukas-Dresel Lukas-Dresel commented Sep 5, 2025

Copy link
Copy Markdown

Description

  • My code follows the code style of this project.
  • My change includes a change to the documentation, if required.
  • If my change adds new code, adequate tests have been added.
  • I have read and agree to the CONTRIBUTING document.

@github-actions

github-actions Bot commented Sep 5, 2025

Copy link
Copy Markdown

🤖 Coverage update for f09db7b 🔴

Old New
Commit ee605f9 f09db7b
Score 71.0775% 71.0582% (-0.0193)

@github-actions

github-actions Bot commented Sep 5, 2025

Copy link
Copy Markdown

🤖 Coverage update for 83e5a6e 🔴

Old New
Commit ee605f9 83e5a6e
Score 71.0775% 71.0582% (-0.0193)

Comment thread gef.py Outdated
@Grazfather Grazfather changed the title made banner disableable in the config Add config to show banner, default to True Sep 5, 2025
@github-actions

github-actions Bot commented Sep 5, 2025

Copy link
Copy Markdown

🤖 Coverage update for b005b12 🔴

Old New
Commit ee605f9 b005b12
Score 71.0775% 71.0582% (-0.0193)

@stale

stale Bot commented Nov 5, 2025

Copy link
Copy Markdown

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. You can reopen it by adding a comment to this issue.

@stale stale Bot added the stale label Nov 5, 2025
@stale

stale Bot commented Dec 5, 2025

Copy link
Copy Markdown

This issue has been automatically closed because it has not had recent activity. If you are the owner of this issue, you can either re-open it and provide a more complete description; or create a new issue. Thank you for your contributions.

@stale stale Bot closed this Dec 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants