issues
search
jenkinsci
/
extension-filter-plugin
https://plugins.jenkins.io/extension-filter/
MIT License
2
stars
7
forks
source link
Migrate doc to GitHub
#7
Closed
jonesbusy
closed
1 year ago
jonesbusy
commented
1 year ago
Migrate doc to GitHub
Testing done
Submitter checklist
[x] Make sure you are opening from a
topic/feature/bugfix branch
(right side) and not your main branch!
[x] Ensure that the pull request title represents the desired changelog entry
[x] Please describe what you did
[ ] Link to relevant issues in GitHub or Jira
[ ] Link to relevant pull requests, esp. upstream and downstream changes
[ ] Ensure you have provided tests - that demonstrates feature works or fixes the issue
Migrate doc to GitHub
Testing done
Submitter checklist