Re: Using git to push

2012-02-28 Thread Xu Wang 
On Sat, Feb 25, 2012 at 5:28 AM, Abdelrazak Younes you...@lyx.org wrote:



 To conclude: let's not discuss this for another year or two, pretty
 please. I'll shut up now.

 Abdel.


Sorry to already break the silence. Am I right that if we were using git
now, there would be no problem with the server going down or whatever
maintenance is going on right now? Because everyone could still work on
their own branches and then everything could be merged easily.

Or is this also easy to do in SVN? I'm curious.

Re: Using git to push

2012-02-28 Thread Lars Gullik Bjønnes 
Xu Wang xuwang...@gmail.com writes:

| On Sat, Feb 25, 2012 at 5:28 AM, Abdelrazak Younes you...@lyx.org wrote:



 To conclude: let's not discuss this for another year or two, pretty
 please. I'll shut up now.

 Abdel.


| Sorry to already break the silence. Am I right that if we were using git
| now, there would be no problem with the server going down or whatever
| maintenance is going on right now? Because everyone could still work on
| their own branches and then everything could be merged easily.

yes. (or if you were using git-svn)

| Or is this also easy to do in SVN? I'm curious.

no

-- 
   Lgb

Re: Using git to push

2012-02-28 Thread Vincent van Ravesteijn 




Sorry to already break the silence. Am I right that if we were using 
git now, there would be no problem with the server going down or 
whatever maintenance is going on right now? Because everyone could 
still work on their own branches and then everything could be merged 
easily.


Or is this also easy to do in SVN? I'm curious.


The fact that you can't do proper development without having to commit 
to svn is the largest drawback of svn versus git. The fact that the 
server may be down, is only a special case.


Vincent

Re: Using git to push

2012-02-28 Thread Xu Wang 
On Sat, Feb 25, 2012 at 5:28 AM, Abdelrazak Younes  wrote:

>
>
> To conclude: let's not discuss this for another year or two, pretty
> please. I'll shut up now.
>
> Abdel.
>
>
Sorry to already break the silence. Am I right that if we were using git
now, there would be no problem with the server going down or whatever
maintenance is going on right now? Because everyone could still work on
their own branches and then everything could be merged easily.

Or is this also easy to do in SVN? I'm curious.

Re: Using git to push

2012-02-28 Thread Lars Gullik Bjønnes 
Xu Wang  writes:

| On Sat, Feb 25, 2012 at 5:28 AM, Abdelrazak Younes  wrote:
>
>>
>>
>> To conclude: let's not discuss this for another year or two, pretty
>> please. I'll shut up now.
>>
>> Abdel.
>>
>>
| Sorry to already break the silence. Am I right that if we were using git
| now, there would be no problem with the server going down or whatever
| maintenance is going on right now? Because everyone could still work on
| their own branches and then everything could be merged easily.

yes. (or if you were using git-svn)

| Or is this also easy to do in SVN? I'm curious.

no

-- 
   Lgb

Re: Using git to push

2012-02-28 Thread Vincent van Ravesteijn 




Sorry to already break the silence. Am I right that if we were using 
git now, there would be no problem with the server going down or 
whatever maintenance is going on right now? Because everyone could 
still work on their own branches and then everything could be merged 
easily.


Or is this also easy to do in SVN? I'm curious.


The fact that you can't do proper development without having to commit 
to svn is the largest drawback of svn versus git. The fact that the 
server may be down, is only a special case.


Vincent

Re: Using git to push

2012-02-25 Thread Abdelrazak Younes 

On 17/02/2012 00:21, Lars Gullik Bjønnes wrote:

Xu Wangxuwang...@gmail.com  writes:

| Hi,
| I have read here:  http://wiki.lyx.org/Devel/Git
| and I see there is lyx here: https://gitorious.org/lyx
| can I fork on gitorious and then issue a pull request?

The master repo is in subversion, and I do not think anyone would act
upon such a pull request.

| Are there any plans to use github in future?

There are plans to more to using git.


Why are we still waiting for that move? Now is a perfect time as there 
aren't so much devel activity and I think there is a global consensus 
for it.



  If we should use one of the repo
hosting services instead of using our own server has not been decided.


I vote for a free hosting service (github or gitorious are just fine). 
Less maintenance work, less server troubleshooting etc. But once we move 
to git changing the hosting server will be very easy to do by anybody.


Abdel.

Re: Using git to push

2012-02-25 Thread Lars Gullik Bjønnes 
Abdelrazak Younes you...@lyx.org writes:

| On 17/02/2012 00:21, Lars Gullik Bjønnes wrote:
 Xu Wangxuwang...@gmail.com  writes:

 | Hi,
 | I have read here:  http://wiki.lyx.org/Devel/Git
 | and I see there is lyx here: https://gitorious.org/lyx
 | can I fork on gitorious and then issue a pull request?

 The master repo is in subversion, and I do not think anyone would act
 upon such a pull request.

 | Are there any plans to use github in future?

 There are plans to more to using git.

| Why are we still waiting for that move? Now is a perfect time as there
| aren't so much devel activity and I think there is a global consensus
| for it.

Some news about why we have to wait a little bit later today.

   If we should use one of the repo
 hosting services instead of using our own server has not been decided.

| I vote for a free hosting service (github or gitorious are just fine).
| Less maintenance work, less server troubleshooting etc. But once we
| move to git changing the hosting server will be very easy to do by
| anybody.

You are being awfully casual about this.
Please at least think about and enumerate changes/concerns on who/how this
will affect development processes, developers and release managers.
(because things will change, and I'd rather not have you taken
completely by surprise)

-- 
   Lgb

Re: Using git to push

2012-02-25 Thread Abdelrazak Younes 

On 25/02/2012 11:17, Lars Gullik Bjønnes wrote:

| I vote for a free hosting service (github or gitorious are just fine).
| Less maintenance work, less server troubleshooting etc. But once we
| move to git changing the hosting server will be very easy to do by
| anybody.

You are being awfully casual about this.


Yeah, I am quite well known to be casual about things in general :-)


Please at least think about and enumerate changes/concerns on who/how this
will affect development processes, developers and release managers.
(because things will change, and I'd rather not have you taken
completely by surprise)


We've been discussing this matter for years now, if there's still 
anybody not aware of how this will affect the development process I 
invite him to read the archive.


We've had detailled plans for release management from Vincent, Richard 
and me in the past. Plus we have a well maintained git repo in gitorious 
_right_  _now_.  Richard and Vincent are already using git. So don't 
worry, you are not going to take me or anybody by complete surprise.


To conclude: let's not discuss this for another year or two, pretty 
please. I'll shut up now.


Abdel.

Re: Using git to push

2012-02-25 Thread Abdelrazak Younes 

On 17/02/2012 00:21, Lars Gullik Bjønnes wrote:

Xu Wang  writes:

| Hi,
| I have read here:  http://wiki.lyx.org/Devel/Git
| and I see there is lyx here: https://gitorious.org/lyx
| can I fork on gitorious and then issue a pull request?

The master repo is in subversion, and I do not think anyone would act
upon such a pull request.

| Are there any plans to use github in future?

There are plans to more to using git.


Why are we still waiting for that move? Now is a perfect time as there 
aren't so much devel activity and I think there is a global consensus 
for it.



  If we should use one of the repo
hosting services instead of using our own server has not been decided.


I vote for a free hosting service (github or gitorious are just fine). 
Less maintenance work, less server troubleshooting etc. But once we move 
to git changing the hosting server will be very easy to do by anybody.


Abdel.

Re: Using git to push

2012-02-25 Thread Lars Gullik Bjønnes 
Abdelrazak Younes  writes:

| On 17/02/2012 00:21, Lars Gullik Bjønnes wrote:
>> Xu Wang  writes:
>>
>> | Hi,
>> | I have read here:  http://wiki.lyx.org/Devel/Git
>> | and I see there is lyx here: https://gitorious.org/lyx
>> | can I fork on gitorious and then issue a pull request?
>>
>> The master repo is in subversion, and I do not think anyone would act
>> upon such a pull request.
>>
>> | Are there any plans to use github in future?
>>
>> There are plans to more to using git.
>
| Why are we still waiting for that move? Now is a perfect time as there
| aren't so much devel activity and I think there is a global consensus
| for it.

Some news about why we have to wait a little bit later today.

>>   If we should use one of the repo
>> hosting services instead of using our own server has not been decided.
>
| I vote for a free hosting service (github or gitorious are just fine).
| Less maintenance work, less server troubleshooting etc. But once we
| move to git changing the hosting server will be very easy to do by
| anybody.

You are being awfully casual about this.
Please at least think about and enumerate changes/concerns on who/how this
will affect development processes, developers and release managers.
(because things will change, and I'd rather not have you taken
completely by surprise)

-- 
   Lgb

Re: Using git to push

2012-02-25 Thread Abdelrazak Younes 

On 25/02/2012 11:17, Lars Gullik Bjønnes wrote:

| I vote for a free hosting service (github or gitorious are just fine).
| Less maintenance work, less server troubleshooting etc. But once we
| move to git changing the hosting server will be very easy to do by
| anybody.

You are being awfully casual about this.


Yeah, I am quite well known to be casual about things in general :-)


Please at least think about and enumerate changes/concerns on who/how this
will affect development processes, developers and release managers.
(because things will change, and I'd rather not have you taken
completely by surprise)


We've been discussing this matter for years now, if there's still 
anybody not aware of how this will affect the development process I 
invite him to read the archive.


We've had detailled plans for release management from Vincent, Richard 
and me in the past. Plus we have a well maintained git repo in gitorious 
_right_  _now_.  Richard and Vincent are already using git. So don't 
worry, you are not going to take me or anybody by complete surprise.


To conclude: let's not discuss this for another year or two, pretty 
please. I'll shut up now.


Abdel.

Re: Using git to push

2012-02-17 Thread Vincent van Ravesteijn 

Op 16-2-2012 21:31, Xu Wang schreef:

Hi,

I have read here: http://wiki.lyx.org/Devel/Git

and I see there is lyx here: https://gitorious.org/lyx

can I fork on gitorious and then issue a pull request?


You can better fork from gitorious if you like and send a patch to the 
mailing list. In that way everyone will be able to pick up the patch 
and/or comment on it. You can use git format-patch and or git 
send-email (IIRC) for that purpose.


Vincent

Re: Using git to push

2012-02-17 Thread Vincent van Ravesteijn 

Op 16-2-2012 21:31, Xu Wang schreef:

Hi,

I have read here: http://wiki.lyx.org/Devel/Git

and I see there is lyx here: https://gitorious.org/lyx

can I fork on gitorious and then issue a pull request?


You can better fork from gitorious if you like and send a patch to the 
mailing list. In that way everyone will be able to pick up the patch 
and/or comment on it. You can use "git format-patch" and or "git 
send-email" (IIRC) for that purpose.


Vincent

Re: Using git to push

2012-02-16 Thread Lars Gullik Bjønnes 
Xu Wang xuwang...@gmail.com writes:

| Hi,

| I have read here:  http://wiki.lyx.org/Devel/Git

| and I see there is lyx here: https://gitorious.org/lyx

| can I fork on gitorious and then issue a pull request?

The master repo is in subversion, and I do not think anyone would act
upon such a pull request.


| Are there any plans to use github in future?

There are plans to more to using git. If we should use one of the repo
hosting services instead of using our own server has not been decided.

-- 
   Lgb

Re: Using git to push

2012-02-16 Thread Xu Wang 
okay, thank you for your responses. Kind regards, Xu

On Thu, Feb 16, 2012 at 6:21 PM, Lars Gullik Bjønnes lar...@gullik.orgwrote:

 Xu Wang xuwang...@gmail.com writes:

 | Hi,
 
 | I have read here:  http://wiki.lyx.org/Devel/Git
 
 | and I see there is lyx here: https://gitorious.org/lyx
 
 | can I fork on gitorious and then issue a pull request?

 The master repo is in subversion, and I do not think anyone would act
 upon such a pull request.

 
 | Are there any plans to use github in future?

 There are plans to more to using git. If we should use one of the repo
 hosting services instead of using our own server has not been decided.

 --
   Lgb

Re: Using git to push

2012-02-16 Thread Lars Gullik Bjønnes 
Xu Wang  writes:

| Hi,
>
| I have read here:  http://wiki.lyx.org/Devel/Git
>
| and I see there is lyx here: https://gitorious.org/lyx
>
| can I fork on gitorious and then issue a pull request?

The master repo is in subversion, and I do not think anyone would act
upon such a pull request.

>
| Are there any plans to use github in future?

There are plans to more to using git. If we should use one of the repo
hosting services instead of using our own server has not been decided.

-- 
   Lgb

Re: Using git to push

2012-02-16 Thread Xu Wang 
okay, thank you for your responses. Kind regards, Xu

On Thu, Feb 16, 2012 at 6:21 PM, Lars Gullik Bjønnes wrote:

> Xu Wang  writes:
>
> | Hi,
> >
> | I have read here:  http://wiki.lyx.org/Devel/Git
> >
> | and I see there is lyx here: https://gitorious.org/lyx
> >
> | can I fork on gitorious and then issue a pull request?
>
> The master repo is in subversion, and I do not think anyone would act
> upon such a pull request.
>
> >
> | Are there any plans to use github in future?
>
> There are plans to more to using git. If we should use one of the repo
> hosting services instead of using our own server has not been decided.
>
> --
>   Lgb
>
>