- drop github prefix of pr-collector

This commit is contained in:
Mike Penz
2023-08-18 16:56:13 +00:00
committed by GitHub
parent 1afe5f05ce
commit d8188193ab
12 changed files with 9786 additions and 25100 deletions
+3 -3
View File
@@ -1,7 +1,7 @@
import * as core from '@actions/core'
import {Rule, RegexTransformer} from 'github-pr-collector/lib/types'
import {PullRequestInfo, retrieveProperty} from 'github-pr-collector/lib/pullRequests'
import {validateTransformer} from 'github-pr-collector/lib/regexUtils'
import {Rule, RegexTransformer} from 'pr-collector/lib/types'
import {PullRequestInfo, retrieveProperty} from 'pr-collector/lib/pullRequests'
import {validateTransformer} from 'pr-collector/lib/regexUtils'
/**
* Checks if any of the rules match the given PR