Hmm. In the future we should probably clarify the intended workflow a bit - I think it works better to have initial discussions either in the IRC channel or an Issue, and safe PRs for actual proposals for finalization.
(Not that I won't have a look at this, a bit later :)
Hmm. In the future we should probably clarify the intended workflow a bit - I think it works better to have initial discussions either in the IRC channel or an Issue, and safe PRs for actual proposals for finalization.
(Not that I won't have a look at this, a bit later :)