Re: [lmi] Is our svn repository working?

[Greg Chicares]

On 2016-02-28 00:01, Vadim Zeitlin wrote:
> On Sat, 27 Feb 2016 22:22:29 +0000 Greg Chicares <address@hidden> wrote:
> 
> GC> Suppose we convert lmi's public repository to git
> 
>  Why should we suppose anything when https://github.com/vadz/lmi/ exists
> today? I've always preferred imperative to subjunctive.

It is important to have set up such an alternative lest the gnu.org server die.
If only I were to have foreseen the necessity that such an option be available!
Now, should our present host become unusable, we might propose that development
continue there. Thanks...and long live the subjunctive!