enhancementgood first issuehelp wanted
仓库指标
- Star
- (12 star)
- PR 合并指标
- (PR 指标待抓取)
描述
When doing push to a branch, we should check whether a pull request already exists in GitHub (if our repository is from GitHub). If a PR is not there yet, we should create with the help of gh command line tool, if it's installed.