Once an hour sounds fine
On Friday, September 2, 2022 at 1:38:59 PM UTC-7 Dima Pasechnik wrote:
> 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
>
> On
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
On Fri, Sep 2, 2022 at 6:22 AM Matthias Koeppe wrote:
>
> Hence nothing has run on GH Actions for 2 days
> https://
we can switch over (temporarily) to pull-mirroring - then updates would
not be instant, though.
On Fri, 2 Sep 2022, 09:44 Dima Pasechnik, 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 o
Thanks, William!
On Friday, September 2, 2022 at 8:45:21 AM UTC-7 wst...@gmail.com wrote:
> On Fri, Sep 2, 2022 at 8:37 AM Matthias Koeppe
> wrote:
> >
> > On Thursday, September 1, 2022 at 10:52:04 PM UTC-7 Frédéric Chapoton
> wrote:
> >>
> >> You are very welcome to help.
> >
> >
> > Someone
On Fri, Sep 2, 2022 at 8:37 AM Matthias Koeppe wrote:
>
> 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
I have added you to the mailing list
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
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To u
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 wrote:
>
> On Fri, Sep 2, 2022 at 7:19 AM Jan Gr
On Fri, Sep 2, 2022 at 7:19 AM Jan Groenewald 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 --mi
On Fri, Sep 2, 2022 at 7:40 AM Frédéric Chapoton 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 à
On Fri, 2 Sep 2022, 07:19 Jan Groenewald, 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
10 matches
Mail list logo
