Skip to content

(chore): Update GitHub repository URLs - #8354

Merged
z-Fng merged 1 commit into
ScoopInstaller:masterfrom
z-Fng:fix-redirect
Aug 3, 2026
Merged

(chore): Update GitHub repository URLs#8354
z-Fng merged 1 commit into
ScoopInstaller:masterfrom
z-Fng:fix-redirect

Conversation

@z-Fng

@z-Fng z-Fng commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

@z-Fng z-Fng changed the title (chore): Fix GitHub repository redirects (chore): Update GitHub repository URLs Aug 3, 2026
@coderabbitai

coderabbitai Bot commented Aug 3, 2026

Copy link
Copy Markdown

Review Change Stack

Summary by CodeRabbit

  • Bug Fixes
    • Corrected package homepages and download, version-check, and autoupdate links across multiple manifests.
    • Updated links for Ethr, EventStore, FAKE, HackerNews TUI, mprocs, Microsoft MPI, Scala CLI, SQLPage, and Windows Application Driver.
    • Ensured links consistently use the current repository names, owners, and capitalization.

Walkthrough

Nine Scoop manifests update GitHub repository paths, organization casing, and download endpoints. Package versions, hashes, executables, and other metadata remain unchanged.

Changes

Manifest URL corrections

Layer / File(s) Summary
Correct repository and download paths
bucket/ethr.json, bucket/eventstore.json, bucket/fake.json, bucket/hackernews-tui.json, bucket/mprocs.json, bucket/msmpi.json, bucket/scala-cli.json, bucket/sqlpage.json, bucket/windows-application-driver.json
The manifests now use corrected GitHub organization casing, repository names, hostnames, and release URL paths for fixed versions, checks, and autoupdates.
🚥 Pre-merge checks | ✅ 5
✅ Passed checks (5 passed)
Check name Status Explanation
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check ✅ Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check ✅ Passed Check skipped because no linked issues were found for this pull request.
Title check ✅ Passed The title clearly and concisely describes the main change: updating GitHub repository URLs.
Description check ✅ Passed The description explains the automated URL fixes, lists detected issues, and completes the required checklist.

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@z-Fng

z-Fng commented Aug 3, 2026

Copy link
Copy Markdown
Contributor Author

/verify

@github-actions

github-actions Bot commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

Your changes did not pass all checks.

Please address the issues in the manifest and comment starting with /verify to rerun the checks.

ethr

  • Lint
  • Description
  • License
  • Hashes
  • Checkver
  • Autoupdate

eventstore

  • Lint
  • Description
  • License
  • Hashes
  • Checkver
  • Autoupdate

fake

  • Lint
  • Description
  • License
  • Hashes
  • Checkver
  • Autoupdate

hackernews-tui

  • Lint
  • Description
  • License
  • Hashes
  • Checkver
  • Autoupdate
  • Autoupdate Hash Extraction

mprocs

  • Lint
  • Description
  • License
  • Hashes
  • Checkver
  • Autoupdate

msmpi

  • Lint
  • Description
  • License
  • Hashes
  • Checkver
  • Autoupdate

scala-cli

  • Lint
  • Description
  • License
  • Hashes
  • Checkver
  • Autoupdate

sqlpage

  • Lint
  • Description
  • License
  • Hashes
  • Checkver
  • Autoupdate

windows-application-driver

  • Lint
  • Description
  • License
  • Hashes
  • Checkver
  • Autoupdate

Check the full log for details.

@z-Fng

z-Fng commented Aug 3, 2026

Copy link
Copy Markdown
Contributor Author

eventstore

  • Lint
  • Description
  • License
  • Hashes
  • Checkver
  • Autoupdate

eventstore was renamed. Deprecation notice will be added in a follow-up PR; ignore this issue for now.

@z-Fng
z-Fng merged commit a277d6b into ScoopInstaller:master Aug 3, 2026
3 checks passed
@z-Fng
z-Fng deleted the fix-redirect branch August 3, 2026 04:41
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.

1 participant