Skip to content

Conversation

jessegeens
Copy link
Contributor

No description provided.

@jessegeens jessegeens force-pushed the feat/makefile-plugins-local branch from 6185ca4 to 0cf2d19 Compare March 26, 2025 12:11
@glpatcern
Copy link
Member

Yes, very welcome! We could even make it the default, and fall back to GitHub when the folder is missing, but that's already good!

@jessegeens
Copy link
Contributor Author

I have another PR ready for puppet; there I changed this one into the default (and also updated puppet to check out the plugins repository as well)

@jessegeens jessegeens merged commit 4a977d6 into master Mar 26, 2025
14 checks passed
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