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 <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 >> <https://groups.google.com/d/msgid/sage-devel/b40f9d0a-c72a-4243-96d3-3a0d660b872an%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > > > -- > .~. > /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 > <https://groups.google.com/d/msgid/sage-devel/CAAg%3Dp_2Z465ZfHjTXX12D---SgLXoAAtu67Kkjea4Q0O%2B1KLEA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CAAWYfq25bN4nxkgSa4-h7XPhw8%2BCLM%3DAwKmQ585LO0LW%2BN4aDw%40mail.gmail.com.
