jupyterhub / gh-scoped-creds

Provide fine-grained push access to GitHub from a JupyterHub
BSD 3-Clause "New" or "Revised" License
24 stars 7 forks source link

A command to stop using the credentials and possibly also clean them up #37

Open consideRatio opened 1 year ago

consideRatio commented 1 year ago

Facu with JMTE wrote this.

Does anyone knows how to deactivate the Github authentication app once it has been activated? I am trying to push to a repository that doesn’t have the app installed and of which I am not owner . I can just wait 8 hours and push with my GH token, but I would like to know if there is another way of doing this. Thank you!

I concluded he could remove a section from his .gitconfig looking like this accomplish that.

[credential "https://github.com/"]
    helper = store --file=/tmp/tmp3z__u6za

That configuration was added by this section.

https://github.com/jupyterhub/gh-scoped-creds/blob/1f7947d1b34cff5c2544eacd76fa5dcaf0dff06c/gh_scoped_creds/__init__.py#L97-L106

Maybe it can make sense to have a command to clean that configuration change and the associated credentials?