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/CAAWYfq3kbY6p-5UqEDyz-AMCBOK69FpdXYfGmcu1SPYmxrfCWg%40mail.gmail.com.
