Hi everyone! I'm J! I'm currently doing a DPhil in Machine Learning (AI Safety) at the University of Oxford, and a previous collaborator at AISI as part of their bounty program.
+1 to this!Maybe a neat solution might be to instead use a deploy key (gives read/write access just to one repo) instead of adding a full ssh key?https://docs.github.com/en/authentication/connecting-to-github-with-ssh/managing-deploy-keys
+1 to this!
Maybe a neat solution might be to instead use a deploy key (gives read/write access just to one repo) instead of adding a full ssh key?
https://docs.github.com/en/authentication/connecting-to-github-with-ssh/managing-deploy-keys