Skip to content

don't keep portico in-repo#21

Merged
milt merged 1 commit into
mainfrom
portico_out_of_source
Jul 1, 2026
Merged

don't keep portico in-repo#21
milt merged 1 commit into
mainfrom
portico_out_of_source

Conversation

@milt

@milt milt commented Jul 1, 2026

Copy link
Copy Markdown
Member

Ignore and remove lib/, and replace the phony vendor-portico in the Makefile with a real lib target, cleaned with clean-vendor

@milt milt requested a review from cliffcaseyyet July 1, 2026 19:54
@milt milt merged commit 7c32406 into main Jul 1, 2026
1 check passed
@milt milt deleted the portico_out_of_source branch July 1, 2026 20:53
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