Skip to content

Add latest batch of plugins#41

Merged
jd-oai merged 2 commits intomainfrom
jd/plugins/add-latest-plugins
Mar 16, 2026
Merged

Add latest batch of plugins#41
jd-oai merged 2 commits intomainfrom
jd/plugins/add-latest-plugins

Conversation

@jd-oai
Copy link
Collaborator

@jd-oai jd-oai commented Mar 16, 2026

No description provided.

@ambroise-oai
Copy link
Collaborator

@jd-oai I'm curious: as you run the app -> plugin script and create these, what happens when there's already a plugin in the repo? Does it overwrite?

example: #40 was also adding a github plugin, wondering what happens if it merges before you run the script

@ambroise-oai ambroise-oai mentioned this pull request Mar 16, 2026
@jd-oai
Copy link
Collaborator Author

jd-oai commented Mar 16, 2026

@jd-oai I'm curious: as you run the app -> plugin script and create these, what happens when there's already a plugin in the repo? Does it overwrite?

example: #40 was also adding a github plugin, wondering what happens if it merges before you run the script

the script ignores any plugins that already exist. so if that other PR was merged, it just wouldn't add it. If we want to refresh a plugin in the repo with latest from directory, would need to locally delete it first.

@jd-oai jd-oai merged commit 37ad9c2 into main Mar 16, 2026
@jd-oai jd-oai deleted the jd/plugins/add-latest-plugins branch March 16, 2026 22:13
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