General: Remove duplicate type="button"
attribute from the "Change|…
#124
cleanup-pull-requests.yml
on: push
Clean up pull requests
/
Find and close PRs
4s