Skip to content

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

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#3
Unisay merged 1 commit into
masterfrom
chore/migrate-org-links

Conversation

@Unisay

@Unisay Unisay commented Jun 14, 2026

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.

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 AGENTS.md links, so nothing relies on
the old-owner redirect.
@Unisay Unisay force-pushed the chore/migrate-org-links branch from e6e6a63 to cfac36e Compare June 14, 2026 18:30

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 PR updates Nix flake inputs/lockfile metadata and documentation links to reflect the move of the PureScript→Lua ecosystem repositories from Unisay/* to the purescript-lua GitHub org, avoiding reliance on GitHub redirects.

Changes:

  • Update pslua flake input URL to github:purescript-lua/purescript-lua.
  • Update flake.lock owner fields for the purescript-lua input to purescript-lua.
  • Update AGENTS.md links to the new purescript-lua org repositories.

Reviewed changes

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

File Description
flake.nix Points the pslua flake input at the new GitHub org location.
flake.lock Updates the locked/original owner fields to match the new org.
AGENTS.md Updates documentation links to the new purescript-lua org.

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

Comment thread AGENTS.md
## Releasing

Tag-driven, with no GitHub Release or changelog entry. The full conventions live in the [package-set repo](https://github.com/Unisay/purescript-lua-package-sets/blob/master/CONTRIBUTING.md): push an annotated tag on `master`, bump this fork's `version` in the package set's `src/packages.dhall`, refresh `latest-compatible-sets.json`, and push a `psc-*` set tag.
Tag-driven, with no GitHub Release or changelog entry. The full conventions live in the [package-set repo](https://github.com/purescript-lua/purescript-lua-package-sets/blob/master/CONTRIBUTING.md): push an annotated tag on `master`, bump this fork's `version` in the package set's `src/packages.dhall`, refresh `latest-compatible-sets.json`, and push a `psc-*` set tag.
@Unisay Unisay merged commit 1869163 into master Jun 14, 2026
1 check passed
@Unisay Unisay deleted the chore/migrate-org-links branch June 14, 2026 18:34
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