agility: use github for patch files