Skip to content
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

Add plu-ts tag to Builder tools #1044

Closed
wants to merge 16 commits into from

Conversation

michele-nuzzi
Copy link
Contributor

as per the #1026 discussion I'm opening a pull request to add the plu-ts tag as possible filter in the Builder Tools page

@rphair
Copy link
Collaborator

rphair commented Apr 26, 2023

@michele-nuzzi this is opened relative to an old branch. Can you close this PR and create another one from a new branch that's synced with the upstream repository so this PR doesn't have those old commits above in it?

@michele-nuzzi
Copy link
Contributor Author

sure will do

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