Re: Can pull but cannot push

Here's the problem for people who have already created clones - their
remote url is leveraging [email protected] instead of
[email protected].  I used this in my cmucl/cmucl repo and problem
is resolved for that repo.  How to fix it more generally, though?

git remote set-url origin [email protected]:cmucl/cmucl.git

Also, for cmucl/cmucl, the runners that existed before no longer seem to be
defined, so my recent push to a branch has the check jobs stalled due to no
eligible runners.

—jon


On Fri, Dec 27, 2024 at 7:58 PM Raymond Toy <[email protected]> wrote:

>
>
> On Fri, Dec 27, 2024 at 4:49 PM Dave Cooper <[email protected]> wrote:
>
>>
>>
>>
>>> I can pull, but can't push.  And now I can't reach gitlab.c-l.net
>>> anymore; I'm unable to connect again.
>>>
>>
>> Well, the website is definitely up.
>>
> Not for me.  And adding an entry in my /etc/hosts file doesn't work; it
> did before.
>
>>
>> What happens when you try to push?
>>
> It says it's read-only.  And check my access rights.
>
>>
>> Superstition, but try logging out and back in.
>>
> No joy. :-(
>
> Am I the only one having trouble?  Lucky me!
>
>
> --
> Ray
>