Skip to content

Issues: purescript/registry-dev

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Verify repository exists before attempting to clone it good first issue Good for newcomers help wanted Extra attention is needed
#684 opened Jan 22, 2024 by flip111
Clarify “letters” in spec
#682 opened Jan 19, 2024 by toastal
Proxy GitHub issue API calls to the registry server beta enhancement Something that would be good to have but it's not a priority
#649 opened Aug 3, 2023 by thomashoneyman
Don't fail publishing when registry repos are behind the upstream alpha bug Something isn't working help wanted Extra attention is needed
#646 opened Aug 1, 2023 by thomashoneyman
Roll back package uploads on metadata failure alpha bug Something isn't working help wanted Extra attention is needed
#645 opened Aug 1, 2023 by thomashoneyman
Remove script to remove packages beta
#570 opened Dec 14, 2022 by f-f
Registry user guide
#374 opened Mar 29, 2022 by thomashoneyman
Registry Spec discussion
#366 opened Mar 18, 2022 by thomashoneyman
3 of 10 tasks
Suggestion: Include compiler ranges in package metadata alpha enhancement Something that would be good to have but it's not a priority
#255 opened Oct 18, 2021 by thomashoneyman
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.