.github: allow trigger ci manually #45
Loading…
Reference in a new issue
No description provided.
Delete branch "github-trigger"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Description
Used this in my fork to test changes to the other two PRs I'm sending. Nice convenience.
Checklist