Skip to content

docs: Update GitHub Pages URLs#101

Merged
lambdalisue merged 1 commit into
mainfrom
fix-docs
Jan 12, 2026
Merged

docs: Update GitHub Pages URLs#101
lambdalisue merged 1 commit into
mainfrom
fix-docs

Conversation

@lambdalisue

Copy link
Copy Markdown
Member

No description provided.

Copilot AI review requested due to automatic review settings January 12, 2026 14:52

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Pull request overview

This pull request updates GitHub Pages documentation URLs throughout the project by removing the /documents/ path segment, moving the documentation from a subdirectory to the root of the GitHub Pages site.

Changes:

  • Updated documentation URLs across all usage help text files
  • Updated configuration file and example template documentation links
  • Updated README.md links, badges, and image references

Reviewed changes

Copilot reviewed 10 out of 10 changed files in this pull request and generated no comments.

Show a summary per file
File Description
assets/usage.txt Updated documentation URL to root path
assets/usage-run.txt Updated documentation URL to root path
assets/usage-list.txt Updated documentation URL to root path
assets/usage-lint.txt Updated documentation URL to root path
assets/usage-fmt.txt Updated documentation URL to root path
assets/usage-check.txt Updated documentation URL to root path
assets/usage-cache.txt Updated documentation URL to root path
assets/probitas.jsonc Updated configuration documentation URLs to remove /documents/ path
assets/example.probitas.ts Updated template documentation URLs to remove /documents/ path
README.md Updated logo path, badge link, and all documentation URLs to remove /documents/ path

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@lambdalisue lambdalisue merged commit e20d8fc into main Jan 12, 2026
4 checks passed
@lambdalisue lambdalisue deleted the fix-docs branch January 12, 2026 14:58
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