On Tuesday, September 12, 2017 at 2:25:34 PM UTC+1, Maarten Derickx wrote: > > 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. >
Well, the desktop version works on my (new) mobile phone Chrome browser :-) besides, you can search for a branch... > > 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> >> 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> 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.
