Skip to content

Develop - #125

Merged
EdinUser merged 2 commits into
mainfrom
develop
Oct 10, 2026
Merged

EdinUser merged 2 commits into
mainfrom
develop

Conversation

@EdinUser

Copy link
Copy Markdown
Owner

No description provided.

Todor Kirilov and others added 2 commits October 10, 2026 07:13
Remove the `pinger.js` file in favor of the hosted external widget. Update MkDocs configuration to use a custom overrides directory for injecting the widget script.
refactor: replace inline pinger script with external widget
@EdinUser
EdinUser merged commit 99164ee into main Oct 10, 2026
4 checks passed
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.

1 participant