On Sat, Jan 9, 2016 at 2:55 PM, Paul Wise <p...@debian.org> wrote: > On Sat, Jan 9, 2016 at 2:29 AM, Alexander Wirt wrote: > >> curl https://anonscm.debian.org/git/kernel/linux.git 2>&1 |grep -i \<title >> <title>kernel/linux - Debian linux repository</title> > > I wonder if a redirect would be more appropriate?
I agree redirection is even better. But since robots.txt of the git site disallow everything, it might be not much different. Cheers, Roger
