Hello,
> On Feb 4, 2017, at 13:25, Brigham Keys, Esq. wrote:
>
> I started some discussion about GNU Savannah in the gnu-prog-discuss
> mailing list and I think the conclusion was more or less that rather than
> replace Savannah, we could potentially get a new web
On Fri, 2017-02-03 at 19:35 -0700, Bob Proulx wrote:
> Note that this isn't a migration problem. I pulled git back to the
> older server. So it might be a problem with the older git version on
> the older server.
I don't want to interrupt anyone's good work, but I wonder if there's a
hoped-for