we can switch over (temporarily) to pull-mirroring - then updates would not be instant, though.
On Fri, 2 Sep 2022, 09:44 Dima Pasechnik, <dimp...@gmail.com> wrote: > 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 > > > On Fri, Sep 2, 2022 at 9:05 AM Dima Pasechnik <dimp...@gmail.com> wrote: > > > > 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 <fchapot...@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+unsubscr...@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+unsubscr...@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 > . > -- 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3ieiruhcq8sn62_zk_QZOzhjnjj3F9jBPMQrs3yiji1A%40mail.gmail.com.
