Re: current repository status

[Ivan Vučica]

FSF has its principles, and I understand them. But this is not really a problem for a DVCS, right?

- Official repo can be in a FSF-approved place. Pushes happen to over there.

- Mirror can be on Github.

- Pull requests can be manually imported from Github into the FSF-approved place.

- I would not attempt to automate sync from Github onto the other place, just from the other place onto Github. With full automation, I predict race conditions, as well as unnecessary (and occasionally failing) merges.

- We can swap roles of Github and 'the other place' as necessary, the adjustment of config files per-developer is minimal.

On Thu, Jun 18, 2015 at 11:23 PM, Gregory Casamento <address@hidden> wrote:

I believe that github is the best of both worlds as it provides the people who like subversion a way to keep working with it and those who want to work with git a way to do so.

We could even provide a mirror back to gna. The only consideration is that the FSF doesn't like github because it's nonfree. This is NOT a position I agree with.

GC.

On Thu, Jun 18, 2015 at 18:06 Ivan Vučica <address@hidden> wrote:

On Thu, Jun 18, 2015 at 11:01 PM Riccardo Mottola <address@hidden> wrote:

Ivan Vučica wrote:
> Are we moving to Git any time soon?

I hope not?

I have a contrary opinion, especially considering this:

  https://help.github.com/articles/support-for-subversion-clients/