PS. it's set up using --mirror option of git clone and git push, so it should actually be suitable for running anything (bots too) that only needs read access to the repo.
In detail, on my desktop I did git clone --bare g...@trac.sagemath.org:sage.git cd sage.git/ git push --mirror g...@github.com:dimpase/sagetrac-mirror.git to create a github mirror. I understand that to update the mirror locally (on my desktop) I merely need to run git remote update I am not sure ATM how to push these updates on github, but it must be doable I guess... On Tue, Sep 12, 2017 at 1:10 PM, Dima Pasechnik <dimp...@gmail.com> wrote: > It is a snapshot, not constantly updated. > But it does contain all the branches present in the original repo. > > We can look into setting up a constant updating, it > should not be too hard, and would take off load from trac, too. > > Dima > > > On Tue, Sep 12, 2017 at 12:54 PM, Clemens Heuberger > <clemens.heuber...@aau.at> wrote: >> Am 2017-09-12 um 13:26 schrieb Dima Pasechnik: >>> I've created a trac mirror repo on github: >>> https://github.com/dimpase/sagetrac-mirror >>> Please pull from there, if you have problems with trac's git. >> >> do I understand correctly that this is a snapshot (as indicated on that page: >> 2017-09-12 12:15 UK time), so this is not suitable for running patchbots? >> >> I tried accessing git://trac.sagemath.org/sage.git from two different >> universities in Austria and one virtual server in Germany, no success. >> >> Regards, >> >> Clemens -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.