I suppose they might have figured the "New Workflow" UI that can add Starter Workflows is a suitable replacement.

https://github.com/actions/starter-workflows

They meant China should re-think, not the victims.

Yes. You can authenticate "other tools" using a personal access token or GitHub App. https://docs.github.com/en/rest/reference/actions

He continued to post daily updates of his held options until I believe 5 February, but I'm not sure what he did after that. I'm not sure if anyone but him knows, since that was around the time he was summoned by this committee.

As of that last update he was still holding most of his options, but it is believed that he had converted at least some of them and profited more than $10 million.

I don't have a better source than random Reddit comments, though.

Actually, tslint is deprecated now, and the community effort has moved to typescript-eslint.

https://github.com/palantir/tslint/issues/4534

Check out Eclipse Che

To me Che is an Enterprise IDE, which integrates with the deployment platform. The majority of people just want an IDE in the browser, like c9 or vscode.

The Eclipse Che project (which I believe Theia is part of) is also very exciting in this domain.

Theia is an independent IDE framework. It used by products like Gitpod (http://www.gitpod.io), Google Cloud Shell, ARM Mbed Studio (https://os.mbed.com/studio/?utm_source=blog) and so on. Che is going to replace own old GWT based IDE with Theia.

Any reason you choose :)

From the OP email:

| So go wild. Make up your own reason for why it's 5.0.

Because 4.22 would unfairly wear down the 2 key.

This is the case in Chrome but not in Firefox (private mode)

I mean, the planet is literally "global"