Github: Enable inclusion of patches in repository