Currently, in src/PAC/ and src/SSH/, the GitHub SSH deploy key and GitHub PAT are only created if they are not yet working. However, the user should also be able to create a new SSH deploy keys and/or GitHub PAT if they desire so. Currently they would have to manually delete either the SSH key or the PAT respectively to ensure new ones are created.
Allow the user to pass an override argument to the respective functions, to delete the respective SSH key and/or PAT before creating a new one.
Currently, in
src/PAC/
andsrc/SSH/
, the GitHub SSH deploy key and GitHub PAT are only created if they are not yet working. However, the user should also be able to create a new SSH deploy keys and/or GitHub PAT if they desire so. Currently they would have to manually delete either the SSH key or the PAT respectively to ensure new ones are created.Allow the user to pass an
override
argument to the respective functions, to delete the respective SSH key and/or PAT before creating a new one.