Note that there also is a Github CLI at, 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 <> 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.
> Is that Git or GitHub? If the latter, more JavaScript bits or something else?

I'm referring to Github. I expect it is probably Javascript. Clicking
hyperlinks is fine, but things like buttons with dropdown menus, the
hamburger icon, the Clone/Download button etc do nothing when I click on

For what it's worth, I'm not using an ad blocker but I am using a
moderately old Firefox.

Python-Dev mailing list --
To unsubscribe send an email to
Message archived at