Skip to content

[Repo Assist] docs: fix broken tool links in website navigation template#457

Merged
smoothdeveloper merged 2 commits intomasterfrom
repo-assist/fix-broken-docs-links-407-416-fcb4fcb3232b7c08
Mar 10, 2026
Merged

[Repo Assist] docs: fix broken tool links in website navigation template#457
smoothdeveloper merged 2 commits intomasterfrom
repo-assist/fix-broken-docs-links-407-416-fcb4fcb3232b7c08

Conversation

@github-actions
Copy link
Contributor

🤖 This is an automated PR from Repo Assist.

Fixes three stale/broken URLs in the "Tools" section of the website navigation sidebar (docs/tools/templates/template.cshtml).

Changes

Old URL New URL
`(tpetricek.github.io/redacted) `(fsprojects.github.io/redacted)
`(fsharp.github.io/redacted) `(fake.build/redacted)
`(fsprojects.github.io/redacted) `(fsprojects.github.io/redacted) (http → https)
  • FSharp.Formatting moved from Tomas Petricek's personal GitHub Pages to the fsprojects org.
  • FAKE moved its primary site to fake.build.
  • ProjectScaffold was updated to HTTPS.

Closes #407
Closes #416

Test Status

This is a pure documentation template change (HTML link URLs only). No build step is needed to verify — the change has no impact on any F# source, project file, or CI configuration.

Generated by Repo Assist ·

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@346204513ecfa08b81566450d7d599556807389f

Warning

⚠️ Firewall blocked 1 domain

The following domain was blocked by the firewall during workflow execution:

  • fsprojects.github.io

To allow these domains, add them to the network.allowed list in your workflow frontmatter:

network:
  allowed:
    - defaults
    - "fsprojects.github.io"

See Network Configuration for more information.

Update three stale URLs in the website nav sidebar:
- FSharp.Formatting: tpetricek.github.io → fsprojects.github.io  (http → https)
- FAKE: fsharp.github.io/FAKE → fake.build (project moved, http → https)
- ProjectScaffold: http → https

Closes #407
Closes #416

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@smoothdeveloper smoothdeveloper marked this pull request as ready for review March 10, 2026 22:04
@smoothdeveloper smoothdeveloper merged commit ac79dd6 into master Mar 10, 2026
1 check failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

One line summary of the bug "F# Formatting" link is broken

1 participant