Edited default.xml via GitHub

It occurred to me that the fetch Git repo should be changd since the Kernel.org is down right now..