On Mon, Jul 5, 2010 at 4:20 PM, Ondrej Certik <[email protected]> wrote: > On Tue, Jun 22, 2010 at 11:51 PM, Ondrej Certik <[email protected]> wrote: >> Hi, >> >> I have upgraded git at my server and the git daemon has stopped >> working, so for now use this repository for pulling: >> >> http://github.com/sympy/sympy >> >> until I fix it. > > I have fixed that. It should work as before: > > git clone git://git.sympy.org/sympy.git > > in case it doesn't work, maybe you need to wait for your dns to refresh, e.g.: > > dig git.sympy.org > > has to print > > git.sympy.org. 14197 IN A 67.18.186.74
Now I need to figure out how to use github api to also automatically pull into this repository. Currently I need to update it manually. Our main repository is now at github and git.sympy.org will be just a read-only copy of it (in case github goes down) and also so that people don't have to update their origin. Ondrej -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
