Fix https link so patches will work on D.O.