GitHub repository: managedkaos/merge-pull-request
Primary language: Shell
Created: 2019-04-09T16:35:29Z
Description: A GitHub Action for merging pull requests.