Hey all, Could it be possible to turn off lint warnings for patches that do not follow the naming convention (patch-*.diff) but are fetched using patch_sites? What do you think about that? -- Pierre