Re: [ jEdit-users ] jedit source code repository

[Matthieu C. <cho...@gm...>]

2012/2/24 Jarek Czekalski <jar...@po...>

> W dniu 2012-02-24 14:57, Matthieu Casanova pisze:
> >
> > If you want plugins sources, most of them are on SVN, and if they are
> > not on SVN, it is on git.
>
> And one more unusual scenario: sometimes there are sources in both svn
> and git and only one repository is up-to-date.


I think the only case is jEdit's core, Alan tried to create a git
repository and merged commits in it, but this was abandonned.
I don't know why it still exist on git and I think it should be removed.

Are there plugins that are in that case too ?