github write (push) access denied

[SimonC (Iomsn)]

Hi,

Not sure if this only affects me, but since recently I cannot push changes to the repository. When pushing it asks for a password:
Password for 'https://io...@pencil-code.org':

but that does not seem to be my github password. Furthermore, it should use my ssh keys, as that is how it is configured.

Best

Simon

[Philippe-A. Bourdin]

Dear Simon,

the trick with "pencil-code.org" is that you actually have a new account, where you can set your password yourself, fully independent of your GitHub account. No need for SSH keys or tokens. Of course you may choose the same password as on GitHub, if you like.

In case you forgot your password, you can reset the password here:

https://account.pencil-code.org/
Just guess what could be your password, and if it is wrong, you see a "request new password" button. Follow the instructions there, done.

When done, you push your changes to the pencil-code.org repository with exactly that password, no matter if with SVN or with GIT.

Thanks and best greetings,

Philippe.

[SimonC (Iomsn)]

That worked! Thanks for the help!