I think the correct way for GitHub access is to use PAT:
https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/creating-a-personal-access-token
You have to login to web pages and generate a PAT, then
use it instead of password for the https address.
- Qian
On 7/26/22 07:42, Waldek Hebisch wrote:
On Tue, Jul 26, 2022 at 12:54:33AM +0200, Dima Pasechnik wrote:
Do you mean to say that you cannot have ssh authentication with
GitHub's git server?
(well, yes, if you don't have a GitHub account then you can't upload
an ssh key, indeed...)
I have. But doing
git clone https://github.com/fricas/fricas
gives read-only copy. IIRC has to do use
[email protected]:fricas/fricas
At least for some operations using https address
leads to password prompt that does not work.
For best "security" error messages are non-informative,
so it was not clear what is wrong. My first suspicion
was that instruction was wrong (there is a _lot_ of
wrong stuff on the net). But later I realised
another thing did not work with https address, so
probably I used https address and merge did not
work due to https address.
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/62a05153-3326-f881-c879-480051deb8c7%40gmail.com.
