Skip to content

docs: lowercase org name in URLs (credit @danlessa)#9

Merged
mzargham merged 3 commits into
mainfrom
danlessa-casing
May 15, 2026
Merged

docs: lowercase org name in URLs (credit @danlessa)#9
mzargham merged 3 commits into
mainfrom
danlessa-casing

Conversation

@mzargham
Copy link
Copy Markdown
Contributor

Summary

Cherry-picks three case-only changes from @danlessa's closed PR #7 to lowercase DynamicalSystemsGroupdynamicalsystemsgroup in GitHub URLs across docs and mkdocs config. Preserves the original blockscience/... lowercase convention the repo started with.

Commits are authored by @danlessa so contribution attribution is preserved.

Files

  • docs/index.md — 2 example tree-link URLs
  • docs/ontology.md — 2 ARCHITECTURE.md link URLs
  • mkdocs.ymlrepo_url and repo_name

The README and the site_url were already lowercase after #8 and weren't touched.

Context

PR #7 (#7) duplicated the BlockScience → DynamicalSystemsGroup rebrand done in #8 and was closed without merging because it would have reintroduced an unrelated mtg-kc URL regression. The cosmetic casing changes from that PR are worth keeping on their own, hence this follow-up.

Test plan

  • CI green
  • After merge: docs.yml redeploys; site continues to return 200
  • @danlessa appears in the repo's contributor list / commit history

🤖 Generated with Claude Code

@mzargham mzargham merged commit e50950a into main May 15, 2026
2 checks passed
@mzargham mzargham deleted the danlessa-casing branch May 15, 2026 20:02
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