Re: debbugs.gnu.org & non-GNU savannah-hosted projects?

[Glenn Morris]

Jim Meyering wrote:

> Karl Berry and I talked about this, and given how little actual separation
> there is between say lists.gnu.org and lists.nongnu.org (almost none), we
> think it *would* be appropriate to let non-gnu projects use the service.
> We should be able to manage this without a second instance.

OK.

> I think the solution is as simple as saying the slightly more generic:
>
>   "Thank you for filing a bug report with us"
>
> and changing the web page template to say "bug report logs"
> instead of "GNU bug report logs".  Actually, I'm not so sure
> that "GNU bug report logs" would be inappropriate.

OK.

The current system just has "GNU" defined as the project name in the
config file, then uses $project wherever it is needed; so it means
changing some of the places that use it individually.