j: Next unread message
k: Previous unread message
j a: Jump to all threads
j l: Jump to MailingList overview
Note that there also is a Github CLI at https://github.com/node-gh/gh#issues, which brings Github Issues to the terminal and which I use regularly. It, of course, has dependencies and a learning curve of its own, but it might be a viable alternative for those, whose browsers do not support the Github web interface. Just mentioning it, so that it's out there.
Of course, I'm sure there are other alternatives as well.
On Mon, Jul 1, 2019 at 6:03 PM Steven D'Aprano email@example.com wrote:
On Sat, Jun 29, 2019 at 10:26:04AM -0500, Skip Montanaro wrote:
You have missed at least one: the minimum technology requirement for using Github is a lot more stringent than for Roundup. Github's minimum system requirements are higher, and it doesn't degrade as well, so moving to Github will make it much harder for those who are using older technology. If not exclude them altogether.
For what it's worth, I'm not using an ad blocker but I am using a moderately old Firefox.
Python-Dev mailing list -- firstname.lastname@example.org To unsubscribe send an email to email@example.com https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://firstname.lastname@example.org/message/U5GPRST2...