Re: D202: Injective type families

I now know how to use 'arc patch' to get a Phab ticket onto my disk. But if I edit the code, can I make a git commit and upload it back to D202? That would be akin to sharing a branch with (in this case Jan) the author. How do I do that? It is often more direct than making comments. Not exactly on topic, but if this turns out to be impossible I can add you as a colaborator to my github fork of GHC.

Janek