Closed pchaigno closed 2 years ago
With the introduction of the GitHub filter user-review-requested, we don't need to assign individual reviewers to pull requests anymore.
user-review-requested
Related: https://github.com/cilium/cilium/pull/18676.
With the introduction of the GitHub filter
user-review-requested
, we don't need to assign individual reviewers to pull requests anymore.Related: https://github.com/cilium/cilium/pull/18676.