Re: [sympy] github versus sympy.org repo confusion

2010-06-14 Thread Christian Muise
I think the current suggested form is to fork the sympy/sympy (with github's forking feature), and pull changes from the git.sympy.org repo (with a remote repository set up). Forking the sympy/sympy puts you in a github network that lets everyone track what's going on (to some extent). Cheers

Re: [sympy] github versus sympy.org repo confusion

2010-06-14 Thread Aaron S. Meurer
On Jun 14, 2010, at 3:24 PM, Brian Granger wrote: Hi, I am getting back to sympy now that finals are done and I noticed that the repo situation with sympy is a bit confusing: * There is now a sympy/sympy github repo, that looks very attractive to fork and use... * But it is not in sync

Re: [sympy] github versus sympy.org repo confusion

2010-06-14 Thread Brian Granger
  I think the current suggested form is to fork the sympy/sympy (with github's forking feature), and pull changes from the git.sympy.org repo (with a remote repository set up). Forking the sympy/sympy puts you in a github network that lets everyone track what's going on (to some extent). I

Re: [sympy] github versus sympy.org repo confusion

2010-06-14 Thread Aaron S. Meurer
git.sympy.org is on Ondrej's server, so he has it setup so that a buildbot runs the tests whenever someone pushes. Are such hooks possible for github? Aaron Meurer On Jun 14, 2010, at 8:13 PM, Brian Granger wrote: I think the current suggested form is to fork the sympy/sympy (with github's

Re: [sympy] github versus sympy.org repo confusion

2010-06-14 Thread Brian Granger
On Mon, Jun 14, 2010 at 7:12 PM, Aaron S. Meurer asmeu...@gmail.com wrote: On Jun 14, 2010, at 3:24 PM, Brian Granger wrote: Hi, I am getting back to sympy now that finals are done and I noticed that the repo situation with sympy is a bit confusing: * There is now a sympy/sympy github

Re: [sympy] github versus sympy.org repo confusion

2010-06-14 Thread Brian Granger
On Mon, Jun 14, 2010 at 7:15 PM, Aaron S. Meurer asmeu...@gmail.com wrote: git.sympy.org is on Ondrej's server, so he has it setup so that a buildbot runs the tests whenever someone pushes.  Are such hooks possible for github? Ok, that makes sense. We should see if github has such hooks...or