Quoth Yaroslav <[email protected]>:
>
> Looks like 9front folks hate GitHub so much that not only they've
> closed the PR but also disabled the ability to create new ones - and
> access the existing PRs, too...
I think it's less 'hate' and more 'ignore'. I am aware of this because
I was explcitlly emailed about it and tagged in the PR; if that hadn't
happened, I would have no idea that anyone had done anything. Sending
PRs on github is a waste of time.
For anyone following along 9front, the typical way we do things is
sending mail to the 9front mailing list; our git tools are designed
to work well with this. You can either export the patch and pipe
it via mail:
git/export | mail [email protected]
Or paste a diff into an email, if you don't want to deal with
maintaining and rebasing commits:
git/diff >/dev/snarf
<compose email, send it>
One caveat: If you're pasting into the gmail web ui, it will mangle
tabs, turning them into spaces.
If you want to join #cat-v, and have an idea of who to ping, a lot
of code review happens via webpaste and poking someone directly as
well.
On the committer's side, we can take an email and import it as a
commit, so it's appreciated if you phrase the emails as commit
messages:
git/import /mail/fs/mbox/91620/
It'd be interesting to figure out some sort of patch tracking
system for the website on top of this, but, meh, nobody has
bothered so far.
------------------------------------------
9fans: 9fans
Permalink:
https://9fans.topicbox.com/groups/9fans/Td167d7e8cebadcc4-Mcf4af4c7aa82067be86969a0
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
