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/CAAWYfq3eynRKdQFpoX%3DdPHaKNbQ%2BY6yeg-ki4HOm0Fy2X00PHg%40mail.gmail.com.
