git.sympy.org
Ondrej Certik
I have upgraded git at my server and the git daemon has stopped
working, so for now use this repository for pulling:
until I fix it.
Ondrej
simon
simon@bucket:~/local$ git clone http://github.com/sympy/sympy.git
Initialized empty Git repository in /home/simon/local/sympy/.git/
/usr/bin/git-clone: 374: curl: not found
Mateusz Paprocki
On Sat, Jun 26, 2010 at 11:45:02AM -0700, simon wrote:
> I'm not sure what i'm doing wrong:
>
> simon@bucket:~/local$ git clone http://github.com/sympy/sympy.git
> Initialized empty Git repository in /home/simon/local/sympy/.git/
> /usr/bin/git-clone: 374: curl: not found
>
you would prefer git://github.com/sympy/sympy.git instead of HTTP based
address, unless you are behind a firewall. If you have to use HTTP, then
install curl (equivalent of wget) and try again.
>
> On Jun 23, 4:51 pm, Ondrej Certik <ond...@certik.cz> 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.
> >
> > Ondrej
>
> --
> You received this message because you are subscribed to the Google Groups "sympy" group.
> To post to this group, send email to sy...@googlegroups.com.
> To unsubscribe from this group, send email to sympy+un...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
>
--
Mateusz
Ondrej Certik
I just read this:
http://github.com/blog/674-introducing-organizations
citing: "or needed to give someone else administrative control over
one of your repositories,", which is exactly what I want.
I am proposing that we move our official repository to github.
Is anyone against? Technically, we are already there:
http://github.com/sympy/sympy
so it would mean to fix our pages/docs to point there and hopefully
setup git.sympy.org as the mirror (any volunteers?).
Ondrej
Aaron S. Meurer
I am in favor. I am not sure about the docs, though. Is it possible to have official docs for the latest released version and also unofficial docs from the latest master (or from the last time someone built)? We should definitely mirror somewhere. Right now, everyone's personal repositories are on GitHub, so if that goes down, there will be nowhere to clone from. Nonetheless, GitHub seems to be more reliable than the sympy.org server. (See http://status.github.com/).
Here is info about the post-recieve hooks: http://help.github.com/post-receive-hooks/
Aaron Meurer
Ondrej Certik
the git at sympy.org was down since my email 10 days ago, as I was
busy to get it fixed (I broke it myself by upgrading git), but
otherwise, as far as I know, it worked without a single problem ever
since I set it up couple years ago, didn't it?
>
> Here is info about the post-recieve hooks: http://help.github.com/post-receive-hooks/
Yes, let's mirror it at git.sympy.org, then people can continue
cloning from there and everybody will be happy. Yes, I'll try to setup
some hook, that I'll reveive at my server and pull the git repo.
As to the docs, currently I only built them at every release. We
should do it automatically somehow.
I just figure out that github can host any domain for you, as long as
you go for the paid account. Which I am going to do (it's only
$7/month) and I'll try to reduce my 3 linodes to only 2, that way I'll
save $20/month and I'll try to use one to build the docs automatically
and host them as doc-devel.sympy.org, or something.
I didn't want to do it, as I wanted the git server to be super stable,
and it was. But I think that using github as our main thing would be
better, as they are able to fix it sooner than in 10 days. :)
Ondrej
Ondrej Certik
> On Fri, Jul 2, 2010 at 8:28 PM, Aaron S. Meurer <asme...@gmail.com> wrote:
>>
>> On Jul 2, 2010, at 5:41 PM, Ondrej Certik wrote:
>>
>>> Hi,
>>>
>>> I just read this:
>>>
>>> http://github.com/blog/674-introducing-organizations
>>>
>>> citing: "or needed to give someone else administrative control over
>>> one of your repositories,", which is exactly what I want.
>>>
>>> I am proposing that we move our official repository to github.
>>>
>>> Is anyone against? Technically, we are already there:
>>> http://github.com/sympy/sympy
>>>
>>> so it would mean to fix our pages/docs to point there and hopefully
>>> setup git.sympy.org as the mirror (any volunteers?).
>>>
>>> Ondrej
>>
>> I am in favor. I am not sure about the docs, though. Is it possible to have official docs for the latest released version and also unofficial docs from the latest master (or from the last time someone built)? We should definitely mirror somewhere. Right now, everyone's personal repositories are on GitHub, so if that goes down, there will be nowhere to clone from. Nonetheless, GitHub seems to be more reliable than the sympy.org server. (See http://status.github.com/).
>
> the git at sympy.org was down since my email 10 days ago, as I was
> busy to get it fixed (I broke it myself by upgrading git), but
> otherwise, as far as I know, it worked without a single problem ever
> since I set it up couple years ago, didn't it?
>
>>
>> Here is info about the post-recieve hooks: http://help.github.com/post-receive-hooks/
>
> Yes, let's mirror it at git.sympy.org, then people can continue
> cloning from there and everybody will be happy. Yes, I'll try to setup
> some hook, that I'll reveive at my server and pull the git repo.
So this is our github page now:
and I simply put all the people that used to have a push access and
have a github account in there. I've also created a repository for
the webpages at http://sympy.org/ in there and just pushed in there an
index.html, that redirects to our googlecode page as before.
We need to create some better pages. It's as simple as just cloning
the repo, and pushing it in. All people who can push to the sympy git
repo can push into the pages repo currently. The presmissions can be
easily changed if needed.
Ondrej
Aaron S. Meurer
git remote set-url origin g...@github.com:sympy/sympy.git
and this will (I think) add the old one as a backup:
git remote set-url --add origin git://git.sympy.org/sympy.git
Aaron Meurer
Priit Laes
> For those people who have originally cloned from the old git.sympy.org, this will set the pull url to the GitHub page:
>
> git remote set-url origin g...@github.com:sympy/sympy.git
For people who do not have push access it is:
git remote set-url --add origin git://github.com/sympy/sympy.git
> and this will (I think) add the old one as a backup:
>
> git remote set-url --add origin git://git.sympy.org/sympy.git
^^^^^^
origin-backup maybe? :)
Päikest,
Priit :)
James Pearson
We need to create some better pages. It's as simple as just cloning
the repo, and pushing it in.
* docs.sympy.org: created by Sphinx, generated every release
* code.google.com wiki: older spot for a lot of articles?
* wiki.sympy.org: new spot for articles?
Perhaps we could consolidate these all somehow? You guys are much more familiar with them than I am, so I expect responses telling me that I'm completely wrong. :)
On Fri, Jul 2, 2010 at 8:28 PM, Aaron S. Meurer <asme...@gmail.com> wrote:
Is it possible to have official docs for the latest released version and also unofficial docs from the latest master (or from the last time someone built)?
Ondrej Certik
> On Sat, Jul 3, 2010 at 1:20 AM, Ondrej Certik <ond...@certik.cz> wrote:
>>
>> We need to create some better pages. It's as simple as just cloning
>> the repo, and pushing it in.
>
> What kind of things (if any) did you have in mind? Would we like to
> eventually have all of the wiki pages there, instead, or auto-generated API
> documentation? Right now (correct me if I'm wrong), there is:
>
> * docs.sympy.org: created by Sphinx, generated every release
> * code.google.com wiki: older spot for a lot of articles?
> * wiki.sympy.org: new spot for articles?
>
> Perhaps we could consolidate these all somehow? You guys are much more
> familiar with them than I am, so I expect responses telling me that I'm
> completely wrong. :)
I wanted to have some page made by ourselves as our main page.
Currently our main page is this:
http://code.google.com/p/sympy/
which is a bit messy in my opinion. But now anyone can contribute
patches to the page, it's as easy as pushing it in.
>
> On Fri, Jul 2, 2010 at 8:28 PM, Aaron S. Meurer <asme...@gmail.com> wrote:
>>
>> Is it possible to have official docs for the latest released version and
>> also unofficial docs from the latest master (or from the last time someone
>> built)?
>
> I'm not sure how the Django team works things, but I think that their system
> (http://docs.djangoproject.com/en/1.2/ and
> http://docs.djangoproject.com/en/dev/ ) works well. I'm not sure how easily
> that sort of thing would work with SymPy's current scheme (one main
> development branch and tagged releases); if you don't move tags at all, then
> it should be easy enough to do a dev build with a post-commit hook and a
> manual build with each release, right?
Yes, that's what I have in mind.
Ondrej
Aaron S. Meurer
We should have our buildbots check if the Sphinx docs build OK anyway, so we could probably use the same hook for both.
Aaron Meurer
Ondrej Certik
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
Ondrej
Ondrej Certik
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
Ondrej Certik
> On Mon, Jul 5, 2010 at 4:20 PM, Ondrej Certik <ond...@certik.cz> wrote:
>> On Tue, Jun 22, 2010 at 11:51 PM, Ondrej Certik <ond...@certik.cz> 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.
Done.
Ondrej
asmeurer
with Sphinx documentation on GitHub. I haven't looked at it too much,
but it might be useful.
http://dinoboff.github.com/github-tools/overview.html#usage
Aaron Meurer
Ondrej Certik
I was just thinking in the car (I am now back to Reno for a weekend)
that we should move docs.sympy.org to github as well, and then we
should create some scripts, so that we can keep there documentation
for all our releases + the latest master, just like docs.python.org
works.
It would look something like this (i.e. our domain, hosted at github):
http://theoretical-physics.net/book/index.html
Ondrej