No Settings #139
Description
Extension stopped working and repo settings need to be updated but the extension provides no way to update its settings, other than "Github username"
{{ message }}
Extension stopped working and repo settings need to be updated but the extension provides no way to update its settings, other than "Github username"