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? -- bye, pabs https://wiki.debian.org/PaulWise