Skip to content

chore: point pslua + package-set links at purescript-lua org - #4

Merged
Unisay merged 1 commit into
masterfrom
chore/migrate-org-links
Jun 14, 2026
Merged

chore: point pslua + package-set links at purescript-lua org#4
Unisay merged 1 commit into
masterfrom
chore/migrate-org-links

Conversation

@Unisay

Copy link
Copy Markdown
Collaborator

The ecosystem repos moved from Unisay/* to the purescript-lua org. This updates the pslua flake input and its lockfile owner (same rev, 94c13ce) plus the AGENTS.md links so nothing relies on the old-owner redirect.

@Unisay
Unisay requested a review from CopilotJune 14, 2026 18:25
@Unisay
Unisayforce-pushed the chore/migrate-org-links branch from d75382c to 6be1a53CompareJune 14, 2026 18:30

CopilotAI 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

Note

Copilot was unable to run its full agentic suite in this review.

Updates repository references after the PureScript→Lua ecosystem moved from Unisay/* to the purescript-lua GitHub organization.

Changes:

  • Point pslua flake input to purescript-lua/purescript-lua
  • Update Dhall package-set URL to the new org release location
  • Refresh documentation links in AGENTS.md to avoid redirects

Reviewed changes

Copilot reviewed 3 out of 4 changed files in this pull request and generated 1 comment.

FileDescription
packages.dhallUpdates package-set download URL to the new GitHub org
flake.nixRepoints pslua flake input to the new GitHub org/repo
AGENTS.mdUpdates documentation links and text references to the new org

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

Comment threadflake.nix
inputs.nixpkgs.follows = "nixpkgs";
};
pslua.url = "github:Unisay/purescript-lua";
pslua.url = "github:purescript-lua/purescript-lua";
Repos moved from Unisay/* to the purescript-lua org. Update the pslua
flake input and lockfile owner (same rev 94c13ce), the packages.dhall
upstream-lua release URL, and the doc/comment links, so nothing relies
on the old-owner redirect.
@Unisay
Unisayforce-pushed the chore/migrate-org-links branch from 6be1a53 to d6ceb3aCompareJune 14, 2026 18:32
@Unisay
Unisay merged commit 3962837 into masterJun 14, 2026
1 check passed
@Unisay
Unisay deleted the chore/migrate-org-links branch June 14, 2026 18:34
Sign up for freeto 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

@Unisay