Closed github-actions[bot] closed 7 months ago
So it seems like for some reason github won't let me add reviewers unless they are collaborators on the repository... which I did.
But then it seems like collaborators just have the same rights to the repository (or just "Issues"?) as everyone else, unless your repository is part of an organization, which is weird for obvious reasons.
Maybe I'll just have to manually tag you for those :(
Maybe I'll just have to manually tag you for those :(
No problem! :)
Automated changes by the update-flake-lock GitHub Action.
Running GitHub Actions on this PR
GitHub Actions will not run workflows on pull requests which are opened by a GitHub Action.
To run GitHub Actions workflows on this PR, run: