On Tue, Sep 12, 2017 at 9:55 PM, Dima Pasechnik <dimp...@gmail.com> wrote: > > > On Tuesday, September 12, 2017 at 9:42:51 PM UTC+1, Robert Jacobson wrote: >> >> I think there is utility in leaving github.com/sagemath/sage as it is: >> >> It's easy to navigate using the GitHub web interface, whereas the entire >> trac server repo is not. (Try browsing the branches.) >> It gives direct, no-nonsense access to releases, RC's, and beta's. >> >> Having a full GitHub mirror of the trac server repo is also useful for the >> reasons you've already mentioned. So maybe have >> github.com/sagemath/sagetrac-mirror in addition to github.com/sagemath/sage. > > > that's certainly another option. > > In fact, probably a bit more tweaking is needed to make the the web > interface on github mirror usable. > It gets cluttered, as you see here on a prototype: > https://github.com/dimpase/sagetrac-mirror > as more branches get pushed to...
although they say that these links are gone after a couple of hours by themselves... We'll see. > > Dima >> >> >> Best, >> >> Robert >> >> >> On Tuesday, 12 September 2017 16:21:50 UTC-4, Dima Pasechnik wrote: >>> >>> There are several reasons for this: >>> one is to allow http(s):// and git:// read access to all the trac >>> branches, >>> >>> less load on the trac server... >>> >>> To keep it up to date one can simply run a cronjob >>> on trac, doing >>> git push --mirror ... >>> every 10 minutes, say... >>> (or run a cronjob on a third side, with a local mirror, >>> that would do >>> git remote update >>> followed by >>> git push --mirror... >>> >>> The repo is not very big, just over 200Mb. >>> >>> Any thoughts? >>> >>> Dima > > -- > You received this message because you are subscribed to a topic in the > Google Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-devel/i_ColVl-AOA/unsubscribe. > To unsubscribe from this group and all its topics, 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. -- 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.
