managedkaos / merge-pull-request

A GitHub Action for merging pull requests.
7 stars 4 forks source link