P.s. in case this helps others from making the same mistake as me: don't click the branch link on https://github.com/dimpase/sagetrac-mirror/ in order to see if all branches are there unless you have a decent system with some ram to spare.
On Tuesday, 12 September 2017 14:18:46 UTC+2, Dima Pasechnik wrote: > > 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 <dim...@gmail.com > <javascript:>> 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....@aau.at <javascript:>> 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.