Trac no longer seems to push to sagetrac-mirror

[Matthias Koeppe]

Hence nothing has run on GH Actions for 2 days

https://github.com/sagemath/sagetrac-mirror/actions

Is this being worked on?

[Frédéric Chapoton]

You are very welcome to help. Something has been broken in trac, and nobody understands how to fix that correctly. Trac is currently running in survival mode. I do intend to try fix that, but it's not my job and few people proposed to help, but many complained.

I do think that this is repairable and there is not urgent need to move to gitlab. It would be good to get help from Erik M Bray, but he has not answered my last mail.

F

[Jan Groenewald]

Hi

Does someone know whether it is safe to run this manually, as the git user, on the trac server, to test pushing?

root@trac:/srv/git/repositories/sage.git# cat broken_hooks_02-sagetracmirror
#!/usr/bin/env bash
git push --mirror sagetracmirror

I am not comfortable with the trac/git side of things on the server (only with the postfix/certbot/ubuntu packaging stuff).

Regards,

Jan

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/b40f9d0a-c72a-4243-96d3-3a0d660b872an%40googlegroups.com.

--

  .~.
  /V\     Jan Groenewald
 /( )\    www.aims.ac.za
 ^^-^^ 

[Kwankyu Lee]

Trac is currently running in survival mode. 

Is the database safe? Was it backed up? Or can it be cloned to other machine? 

 

[Frédéric Chapoton]

the database is perfectly safe. We have daily backups (snapshots of the full machine by google)

[Dima Pasechnik]

On Fri, 2 Sep 2022, 07:19 Jan Groenewald, <j...@aims.ac.za> wrote:

Hi

Does someone know whether it is safe to run this manually, as the git user, on the trac server, to test pushing?

root@trac:/srv/git/repositories/sage.git# cat broken_hooks_02-sagetracmirror
#!/usr/bin/env bash
git push --mirror sagetracmirror

I am not comfortable with the trac/git side of things on the server (only with the postfix/certbot/ubuntu packaging stuff).

mirroring was set up by me. Apart from broken hooks, there are (were) non-broken ones, which did the job. Perhaps it's the change of ssh keys that stopped it. Anything in logs?

I can look into it, but I don't have much time until next week.

Dima

Regards,

Jan

On Fri, 2 Sept 2022 at 07:52, Frédéric Chapoton <fchap...@gmail.com> wrote:

You are very welcome to help. Something has been broken in trac, and nobody understands how to fix that correctly. Trac is currently running in survival mode. I do intend to try fix that, but it's not my job and few people proposed to help, but many complained.

I do think that this is repairable and there is not urgent need to move to gitlab. It would be good to get help from Erik M Bray, but he has not answered my last mail.

F

Le vendredi 2 septembre 2022 à 07:22:51 UTC+2, Matthias Koeppe a écrit :

Hence nothing has run on GH Actions for 2 days

https://github.com/sagemath/sagetrac-mirror/actions

Is this being worked on?

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/b40f9d0a-c72a-4243-96d3-3a0d660b872an%40googlegroups.com.

--

  .~.
  /V\     Jan Groenewald
 /( )\    www.aims.ac.za
 ^^-^^ 

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAg%3Dp_2Z465ZfHjTXX12D---SgLXoAAtu67Kkjea4Q0O%2B1KLEA%40mail.gmail.com.

[Dima Pasechnik]

On Fri, Sep 2, 2022 at 7:40 AM Frédéric Chapoton <fchap...@gmail.com> wrote:
>
> the database is perfectly safe. We have daily backups (snapshots of the full machine by google)

if the database is getting corrupt, backups of the machine it runs on
won't ensure its safety at all.

>
> Le vendredi 2 septembre 2022 à 08:37:55 UTC+2, Kwankyu Lee a écrit :
>>>
>>> Trac is currently running in survival mode.
>>
>>
>> Is the database safe? Was it backed up? Or can it be cloned to other machine?
>>
>>
>>
>>
>

> --
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/fde252fc-d96c-4f31-a76a-e61eef566e89n%40googlegroups.com.

[Dima Pasechnik]

On Fri, Sep 2, 2022 at 7:19 AM Jan Groenewald <j...@aims.ac.za> wrote:
>
> Hi
>
> Does someone know whether it is safe to run this manually, as the git user, on the trac server, to test pushing?
>
> root@trac:/srv/git/repositories/sage.git# cat broken_hooks_02-sagetracmirror
> #!/usr/bin/env bash
> git push --mirror sagetracmirror

we are not using git mirroring (somehow it never worked properly,
probably too big a tree).
We just do pushes of what was pushed to GH's sagetrac-mirror.
This is done by
/srv/git/repositories/sage.git/hooks/post-receive.d/03-githubmirror

>
> I am not comfortable with the trac/git side of things on the server (only with the postfix/certbot/ubuntu packaging stuff).
>
> Regards,
> Jan
>
> On Fri, 2 Sept 2022 at 07:52, Frédéric Chapoton <fchap...@gmail.com> wrote:
>>
>> You are very welcome to help. Something has been broken in trac, and nobody understands how to fix that correctly. Trac is currently running in survival mode. I do intend to try fix that, but it's not my job and few people proposed to help, but many complained.
>> I do think that this is repairable and there is not urgent need to move to gitlab. It would be good to get help from Erik M Bray, but he has not answered my last mail.
>> F
>>
>> Le vendredi 2 septembre 2022 à 07:22:51 UTC+2, Matthias Koeppe a écrit :
>>>
>>> Hence nothing has run on GH Actions for 2 days
>>> https://github.com/sagemath/sagetrac-mirror/actions
>>>
>>> Is this being worked on?
>>
>> --
>> You received this message because you are subscribed to the Google Groups "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
>> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/b40f9d0a-c72a-4243-96d3-3a0d660b872an%40googlegroups.com.
>
>
>
> --
> .~.
> /V\ Jan Groenewald
> /( )\ www.aims.ac.za
> ^^-^^
>
> --
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAg%3Dp_2Z465ZfHjTXX12D---SgLXoAAtu67Kkjea4Q0O%2B1KLEA%40mail.gmail.com.

[Dima Pasechnik]

All I can say that push-mirroring stopped working on 31st of Aug.
I have no idea what was changed then, how they could have affected
execution of git hooks.

Do you record your changes somewhere?

Dima

[Matthias Koeppe]

On Thursday, September 1, 2022 at 10:52:04 PM UTC-7 Frédéric Chapoton wrote:

You are very welcome to help. 

Someone please add me to sagemath-admins so I can at least know what's happening

[William Stein]

I have added you to the mailing list.
https://groups.google.com/g/sagemath-admins/members

> --
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/9e30240e-5bfc-4e83-a841-54041165f6d7n%40googlegroups.com.



--
William (http://wstein.org)

[Matthias Koeppe]

Thanks, William!

[Dima Pasechnik]

we can switch over (temporarily) to pull-mirroring -  then updates would not be instant, though.

[Dima Pasechnik]

I've done a round of manual pushing of updates from trac git to sagetrac-mirror
This has triggered a bunch of Actions.

How often should we run this? Once an hour, once a day?

Dima

> --
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/b3cbe12f-db2f-458d-ac44-f0e1de234966n%40googlegroups.com.

[Matthias Koeppe]

Once an hour sounds fine