Failed to clone the git repo of lyx.

[Hongyi Zhao]

On Fri, Jan 19, 2024 at 12:01 AM Richard Kimberly Heck
<rikiheck at gmail.com> wrote:
>
> On 1/18/24 00:17, Hongyi Zhao wrote:
> > On Thu, Jan 18, 2024 at 1:11 PM Hongyi Zhao <hongyi.zhao at gmail.com> wrote:
> >> On Wed, Jan 17, 2024 at 11:54 PM Pavel Sanda <sanda at lyx.org> wrote:
> >>> On Wed, Jan 17, 2024 at 09:58:43PM +0800, Hongyi Zhao wrote:
> >>>> However, I am not sure if this setting is correct and can work as
> >>>> expected. Because I don't have much experience in this regard.
> >>> I can't be of much help here. Just FYI we are in the middle of slow
> >>> transition to a new git server, so you update process might need
> >>> some tinkering in near future (we'll announce here and on
> >>> announce maillist).
> >> Based on what I've seen so far, my repo doesn't automatically update
> >> to the latest official repo commit, so maybe it's because of what
> >> you've described above, or maybe there's something wrong with my
> >> workflow script.
> > I noticed that my workflow was running into the error shown in the
> > attached screenshot
>
> If I'm reading that right, the error is when you try to push to origin.
> Does origin exist? Where? The problem is with access to that repo.

I tried to ask GPT4 and got the following response:

If the remote repository only supports the git protocol and there is a
"connection reset by the peer" error, it might be a network issue,
maybe a firewall restriction.

>From the workflow file, it appears you're using the GitHub-hosted
runner (runs-on: ubuntu-latest). In this configuration, the 'origin'
is a token representing the GitHub repository where the workflow is
running. This is not a 'physical' repository but an address in the
GitHub system that corresponds to your source repository (in this case
https://github.com/hongyi-zhao/lyx.git).

If the 'push origin master' command fails, it's likely because the
GitHub token doesn't have the necessary permission to push to the
master branch, perhaps due to branch protection rules.

>
> Riki

Regards,
Zhao