github / issue-metrics

Gather metrics on issues/prs/discussions such as time to first response, count of issues opened, closed, etc.

https://github.blog/2023-07-19-metrics-for-issues-pull-requests-and-discussions/

MIT License

372 stars 46 forks source link

chore: remove pull_request target if we already have pull_request_target #297

Closed jmeridth closed 1 month ago

jmeridth commented 1 month ago

Pull Request

Proposed Changes

[x] auto-labeler action
[x] release action
[x] fix codeql bade in README (after we removed custom workflow in https://github.com/github/issue-metrics/pull/276)

Readiness Checklist

Author/Contributor

[x] If documentation is needed for this change, has that been included in this pull request
[x] run make lint and fix any issues that you have introduced
[x] run make test and ensure you have test coverage for the lines you are introducing

Reviewer

[x] Label as either fix, documentation, enhancement, infrastructure, maintenance, or breaking

jmeridth commented 1 month ago

The fact the auto-labeler PR still worked is proof we don't need both pull_request target and pull_request_target targets.