Re: [Savannah-hackers-public] Please disallow www-commits in robots.txt

2023-05-12 Thread Karl Berry
> In sum, this private playground is something webmasters want and need, > and search engines should have no business indexing it. Is it possible? robots.txt will not stop ill-behaved robots from indexing. Although Google and Duck Duck Go, to the best of my knowledge, do respect it, it

Re: [Savannah-hackers-public] Please disallow www-commits in robots.txt

2023-05-12 Thread Ian Kelling
Thérèse Godefroy writes: > Hello, > > I was searching for an article with DuckDuckGo, and guess what appeared > on top of the results... > https://lists.gnu.org/archive/html/www-commits/2023-05/msg00082.html > and > https://lists.gnu.org/archive/html/www-commits/2023-05/msg00062.html !! > > I

Re: [Savannah-hackers-public] [Savannah-cvs] [610] update: admins can edit descriptions

2023-05-12 Thread Bob Proulx
ine...@gnu.org wrote: > - Unfortunately nothing has been implemented to allow the group > - administrator to do this from the web interface. Fortunately this > - doesn't need to change very often. Please submit a > - [support >

Re: [Savannah-hackers-public] Please disallow www-commits in robots.txt

2023-05-12 Thread Bob Proulx
Thérèse Godefroy wrote: > I understand it wouldn't be practical to make this list private, but it > could at least be off-limits for crawlers. I am not a member of the www team so I just don't know the answer to this question but why not? If the www team doesn't need the public web archive then

Re: [Savannah-hackers-public] Empty Git repository on

2023-05-12 Thread Bob Proulx
Ineiev wrote: > On Fri, May 05, 2023 at 04:40:01PM +, Ineiev wrote: > > On Fri, May 05, 2023 at 02:28:30PM +0200, Alex Baranowski via Discussions > > among Savannah Hackers, open subscription wrote: > > > > > > I tried to clone https://git.savannah.gnu.org/git/which.git and set it up > > >

Re: [Savannah-hackers-public] Please disallow www-commits in robots.txt

2023-05-12 Thread Ineiev
On Fri, May 12, 2023 at 07:52:41PM +0200, Thérèse Godefroy wrote: > Le 12/05/2023 à 19:24, Alfred M. Szmidt a écrit : > > Might be worth noting that www.gnu.org is mostly usable locally from > > the CVS checkout as well, if one needs to look things over. > > > > It would work if the checked out

Re: [Savannah-hackers-public] Please disallow www-commits in robots.txt

2023-05-12 Thread Thérèse Godefroy
Le 12/05/2023 à 19:24, Alfred M. Szmidt a écrit : Might be worth noting that www.gnu.org is mostly usable locally from the CVS checkout as well, if one needs to look things over. It would work if the checked out files were complete HTML pages. Our problem is that they are not. The banner,

Re: [Savannah-hackers-public] Please disallow www-commits in robots.txt

2023-05-12 Thread Alfred M. Szmidt
That sounds reasonable to me. I would assume that if webmasters don't have access to change robots.txt, it would just be the fsf tech team. They do. It is in www. I'm still sorta opposing this .. we have always been transparant. That search engines "have no business" is as saying that

Re: [Savannah-hackers-public] Please disallow www-commits in robots.txt

2023-05-12 Thread Alfred M. Szmidt
Might be worth noting that www.gnu.org is mostly usable locally from the CVS checkout as well, if one needs to look things over. So a patch to www-discuss@ or whatever for a unpublished article would be sufficient in postponing any publishing. It would just be a matter of applying the patch, and

Re: [Savannah-hackers-public] Please disallow www-commits in robots.txt

2023-05-12 Thread Ian Kelling
Dora Scilipoti writes: > Hi, > > the gnu/server/staging directory was created years ago because GNU > webmasters expressed the wish to have a private space where they could > play around, test and see how different styles would look in the > website. Things like where to put the nav bar, which

Re: [Savannah-hackers-public] Please disallow www-commits in robots.txt

2023-05-12 Thread Dora Scilipoti
Hi, the gnu/server/staging directory was created years ago because GNU webmasters expressed the wish to have a private space where they could play around, test and see how different styles would look in the website. Things like where to put the nav bar, which colors to use, where to use h3s or