Open PRs from a bot account #7

New issue

Open

opened 2023-11-05 23:33:15 +00:00 by RaitoBezarius · 0 comments

RaitoBezarius commented

2023-11-05 23:33:15 +00:00

(Migrated from github.com)

The security tracker should have a "bot" account that can opens PRs on behalf of another user, but not as the other user.

https://docs.github.com/en/apps/creating-github-apps/authenticating-with-a-github-app/authenticating-with-a-github-app-on-behalf-of-a-user should not be used as it may require excessive permissions on the user's account.

The security tracker should keep a copy of nixpkgs locally and update it regularly to create those. Inspiration can be taken from https://github.com/ryantm/nixpkgs-update.

The security tracker should have a "bot" account that can opens PRs on behalf of another user, but not as the other user. https://docs.github.com/en/apps/creating-github-apps/authenticating-with-a-github-app/authenticating-with-a-github-app-on-behalf-of-a-user should not be used as it may require excessive permissions on the user's account. The security tracker should keep a copy of nixpkgs locally and update it regularly to create those. Inspiration can be taken from https://github.com/ryantm/nixpkgs-update.