[Orgmode] Re: timer for a task

[Konstantin Antipin]

Hi all,


On Wed, May 27, 2009 at 3:32 PM, Bernt Hansen <address@hidden> wrote:
> Carsten Dominik <address@hidden> writes:
>
>> On May 27, 2009, at 12:13 AM, Konstantin Antipin wrote:
>>
>>> Just a suggestion: why don't we use github for org-mode hosting? It
>>> would be soooo simple to contribute
>>> and to manage things! You would only benefit from this, Carsten.;)
>>> Github is a really nice service. And free, of course.
>>
>> What would be the advantages of using github instead of repo.or.cz?
>> I have found repo.or.cz less polished looking than githib, but very
>> fast and reliable, while github is getting boged down when America
>> wakes up :-)
>
> I don't think there is any advantage to moving to github since you
> already have a hosted working git repo.  If Konstantin wants to share
> his patches all he has to do is make them available somewhere on the net
> so you can pull from his git repo.  He can use github or whatever server
> is convenient for him without requiring you to change your workflow
> (unless you want to of course :) )

You are right indeed, Bernt. I didn't think that my suggestion sounds
like requiring something.
All I wanted to say is that there is such a thing as github and I
think that the effort of migration to it will pay off, especially in
the long run.

And setup github repo instead of sending patches around is a great
idea! (why i didn't think of it earlier?).
That is all I need to put it on github:
   * create repository. two clicks.
   * In org-mode folder:
   git remote add github address@hidden:krick/org-mode.git
   git push github master
Now I can work with both repo.og.cz and github and share my patches
easier. http://github.com/krick/org-mode/tree/master

best,
Konstantin


>
> -Bernt
>