Accomodating migration to Github (patches section)