On 2014-12-27, Nathann Cohen <nathann.co...@gmail.com> wrote: >> I don't know how one can automatically maintain a mirror of git trac, >> without running a special script, and I believe I don't do this. > > I believe that it is what happens in your case, because that's the > default.
Are you saying that the default is to constantly pull the data from the remote, in the background? Really? Could you point to documentation confirming this? > If you want to check, you can "git clone" Sage again and > fetch a branch from there. You will see that it does not happen (if I > make no mistake). > > If you want to try, do a "git clone" again but use the following flags: > > -b develop --single-branch > > No need to recompile the new copy. Just download it, fetch branches, > see if it does what you want. > > Nathann > -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
