made github use www. rather than the bare domain