Skip to content

feat: new approach to serve github documents#74

Merged
pavelkornev merged 40 commits intomainfrom
feat/github-serve-locally
Jul 22, 2025
Merged

feat: new approach to serve github documents#74
pavelkornev merged 40 commits intomainfrom
feat/github-serve-locally

Conversation

@jurijat
Copy link
Member

@jurijat jurijat commented Jul 10, 2025

  • Github source documents are now served from local file system
  • Updates happen via Github Webhook or via manual trigger in /status
  • Updates have a configurable cooldown

@jurijat jurijat requested a review from pavelkornev July 10, 2025 08:45
@jurijat jurijat marked this pull request as ready for review July 15, 2025 13:50
@pavelkornev pavelkornev merged commit 67ec281 into main Jul 22, 2025
2 checks passed
@pavelkornev pavelkornev deleted the feat/github-serve-locally branch July 22, 2025 08:38
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