Yes, and in a separate branch in the main repository, not a personal (Github) fork.

Good, the plan is here. Maybe just one more tiny detail - we might also need someone who does the job :-). While this is something I would find tempting to do, this is quite a project and I'm definitely not going to start working on this in the short term myself.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.