1. 2021-03-23 Re: [ jEdit-devel ] Revisiting Moving to Git (NOT Git jedit-dev Vampire 2. 2021-03-20 Re: [ jEdit-devel ] Revisiting Moving to Git (NOT Git jedit-dev Matthieu Casanova 3. 2019-05-02 Re: [ jEdit-devel ] Revisiting Moving to Git (NOT Git jedit-dev Eric Berry 4. 2019-05-02 Re: [ jEdit-devel ] Revisiting Moving to Git (NOT Git jedit-dev Vampire 5. 2019-05-02 [ jEdit-devel ] Revisiting Moving to Git (NOT GitHub) jedit-dev Eric Berry