Can't edit the Wiki
- pythoncoder
- Posts: 5956
- Joined: Fri Jul 18, 2014 8:01 am
- Location: UK
- Contact:
Can't edit the Wiki
I think this is a consequence of GitHub moving to access tokens. The last time I edited the Wiki was in August, but now I can't authenticate with GitHub; I'm guessing that GitHub may have disabled password access since then. On GitHub I used an access token since they first became available without problems.
Any ideas how to fix this, or failing that how to use OAuth?
Any ideas how to fix this, or failing that how to use OAuth?
Peter Hinch
Index to my micropython libraries.
Index to my micropython libraries.
Re: Can't edit the Wiki
I use a regular login on github, but I use SSH access for command line acess (i.e. no login required).
This requires you to setup a public/private SSH key and I have a login script which uses ssh-agent which does the SSH key management.
https://github.com/dhylands/dotfiles/bl ... h-agent.sh
You need to add the SSH public key to github: https://github.com/settings/keys
This requires you to setup a public/private SSH key and I have a login script which uses ssh-agent which does the SSH key management.
https://github.com/dhylands/dotfiles/bl ... h-agent.sh
You need to add the SSH public key to github: https://github.com/settings/keys
Re: Can't edit the Wiki
More info here: https://docs.github.com/en/authenticati ... b-with-ssh
I also discovered a way t deal with multiple github accounts. I have a work account and a personal account. github only allows you to be logged into one account at a time.
In the chrome browser, you can create multiple profiles and each profile can be logged into github using a different account, so you don't need to keep logging out and logging back in. I give the different profiles different background colors so that I can easily tell them apart.
I also discovered a way t deal with multiple github accounts. I have a work account and a personal account. github only allows you to be logged into one account at a time.
In the chrome browser, you can create multiple profiles and each profile can be logged into github using a different account, so you don't need to keep logging out and logging back in. I give the different profiles different background colors so that I can easily tell them apart.
- pythoncoder
- Posts: 5956
- Joined: Fri Jul 18, 2014 8:01 am
- Location: UK
- Contact:
Re: Can't edit the Wiki
Sorry if I'm being dumb here, but are you saying that if I set up SSH access to GitHub I'll be able to edit the MicroPython wiki? I'm struggling to see why this would work.
Peter Hinch
Index to my micropython libraries.
Index to my micropython libraries.
Re: Can't edit the Wiki
I guess it depends on which micropython wiki you're referring to, and I was also slightly confused by what was being asked when I responded.
There is a github micropython wiki which can be found here: https://github.com/micropython/micropython/wiki and hmm. I know I used to be able to edit that, but it appears that I can't any more. So @dpgeorge must have changed the permissions.
There is also a wiki at https://wiki.micropython.org/Home and there is an Edit button available there. However, the edit button there wants github/googleauth and neither of those appear to actually work either.
So it looks like @dpgeaorge need to update something before either wiki is editable again.
There is a github micropython wiki which can be found here: https://github.com/micropython/micropython/wiki and hmm. I know I used to be able to edit that, but it appears that I can't any more. So @dpgeorge must have changed the permissions.
There is also a wiki at https://wiki.micropython.org/Home and there is an Edit button available there. However, the edit button there wants github/googleauth and neither of those appear to actually work either.
So it looks like @dpgeaorge need to update something before either wiki is editable again.
- pythoncoder
- Posts: 5956
- Joined: Fri Jul 18, 2014 8:01 am
- Location: UK
- Contact:
Re: Can't edit the Wiki
It was the second I was referring to - sorry for the lack of clarity. Thanks for confirming the problem. I'll raise an issue.
Peter Hinch
Index to my micropython libraries.
Index to my micropython libraries.
Re: Can't edit the Wiki
So there are actually, currently, three MicroPython wiki's (that I'm aware of)!
I believe the goal is to end up using Mediawiki at the wiki.micropython.org address. I think the idea was to migrate useful information from the first two to the third, but I'll try and get Damien or Jim to comment definitively.
(I've been using the third, Mediawiki system to edit the Standard Library Coverage).
I believe the goal is to end up using Mediawiki at the wiki.micropython.org address. I think the idea was to migrate useful information from the first two to the third, but I'll try and get Damien or Jim to comment definitively.
(I've been using the third, Mediawiki system to edit the Standard Library Coverage).
Re: Can't edit the Wiki
I've updated the wiki base URL to now go straight to the new MediaWiki installation: https://wiki.micropython.org
The previous Gollum-based wiki is now found by inserting "gollum/" in the URL, eg https://wiki.micropython.org/gollum/Home
I've also added a link from the new wiki to the old gollum one to make it easy to find.
The previous Gollum-based wiki is now found by inserting "gollum/" in the URL, eg https://wiki.micropython.org/gollum/Home
I've also added a link from the new wiki to the old gollum one to make it easy to find.
- pythoncoder
- Posts: 5956
- Joined: Fri Jul 18, 2014 8:01 am
- Location: UK
- Contact:
Re: Can't edit the Wiki
I can log into the new one but still can't edit the old one: the links on the authorisation screen are 404's.
Is there a plan to migrate content from old to new?
Is there a plan to migrate content from old to new?
Peter Hinch
Index to my micropython libraries.
Index to my micropython libraries.