GitHub repository: GavinWu1991/if-branch-merged
Primary language: TypeScript
Created: 2021-07-05T12:28:14Z
Description: A GitHub action to check if a pull request head branch has been merged to another branch