Skip to content

Conversation

asgrim
Copy link
Collaborator

@asgrim asgrim commented Oct 13, 2025

Fixes #333

@asgrim asgrim added this to the 1.3.0 milestone Oct 13, 2025
@asgrim asgrim self-assigned this Oct 13, 2025
@asgrim asgrim added the enhancement New feature or request label Oct 13, 2025
@asgrim asgrim merged commit 4ac2b1d into php:main Oct 14, 2025
28 checks passed
@asgrim asgrim deleted the improve-self-update-channels branch October 14, 2025 18:49
@@ -0,0 +1,18 @@
{
"$schema": "https://json-schema.org/draft/2020-12/schema",
"$id": "https://raw.githubusercontent.com/php/pie/main/resources/pie-config-schema.json",
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this read settings instead of config?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yes, thanks, will fix :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Allow pie self-update to update to RC releases / pre-releases

2 participants