Closed JKay0327 closed 3 years ago
A trivial PR
FWIW, this works around the GitHub CI restrictions to new contributors, that new contributors' commit need manual approval to run Ci
A trivial PR