3 ms·

I guess you could format a diff patch file locally and paste it as a text comment in an issue in their repo...? :P