Skip to content

Update to pod2 repo with prefixless wildcards#123

Merged
artwyman merged 7 commits intomainfrom
artwyman/pod2-repo-update
Sep 24, 2025
Merged

Update to pod2 repo with prefixless wildcards#123
artwyman merged 7 commits intomainfrom
artwyman/pod2-repo-update

Conversation

@artwyman
Copy link
Copy Markdown
Collaborator

@artwyman artwyman commented Sep 12, 2025

PODLang breaking change removes ? from wildcards. This PR updates the pod2 repo pointer to the latest, and updates wildcards in this repo to the new format.

I did the replacement with a regex in VSCode. Unlike in the pod2 repo, I had to tweak it to avoid several classes of false-positives of things which look like PODLang wildcards but aren't. Documenting the regex I used for posterity, so that others can apply it on their own branches:

regex: (?<!\w|trace(?:.|\n){0,100}|debug(?:.|\n){0,100}|https?://(?:.|\n){0,100})\?([A-Za-z]\w*)(?!\w|=)
replace with: $1
exclude files: *.cjs

As far as I can tell from local Rust tests and the GitHub workflow tests above, this seems to be correct.
I don't know how to build and run the PODNet Client myself, though, so I haven't tested beyond what's automated.
I'm not expecting a line-by-line review here since it's all automated. I'm hoping @robknight can quickly stanity-check any false-positives I may have missed, and confirm the client isn't entirely broken.

@artwyman artwyman self-assigned this Sep 12, 2025
@artwyman artwyman added the enhancement New feature or request label Sep 12, 2025
regex: (?<!\w|trace(?:.|\n){0,100}|debug(?:.|\n){0,100}|https?://(?:.|\n){0,100})\?([A-Za-z]\w*)(?!\w|=)
replace with: $1
exclude files: *.cjs
@artwyman artwyman requested a review from robknight September 12, 2025 20:12
@artwyman artwyman marked this pull request as ready for review September 12, 2025 20:12
…/pod2-repo-update

# Conflicts:
#	core/new_solver/src/handlers/publickeyof.rs
@artwyman artwyman merged commit 337a66c into main Sep 24, 2025
4 checks passed
@artwyman artwyman deleted the artwyman/pod2-repo-update branch September 24, 2025 22:25
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.

2 participants