pegler

I am wary of requiring an internet connection in order to develop, but there seem to be more and more advantages to using something like Codespaces.

The article describes using pretty much any IDE, so they are just offloading the setup and running of the development environment to the cloud while letting you run your preferred IDE locally.

The article mentions supporting vim and emac, which probably means any editor can be supported.

  Visual Studio Code is great. It’s the primary tool GitHub.com engineers use to interface with codespaces. But asking our Vim and Emacs users to commit to a graphical editor is less great. If Codespaces was our future, we had to bring everyone along.

  Happily, we could support our shell-based colleagues through a simple update to our prebuilt image which initializes sshd with our GitHub public keys, opens port 22, and forwards the port out of the codespace.

add the following to your /etc/hosts file:

  192.30.253.113  github.com
  23.21.94.152    status.github.com
  192.30.253.113  *.github.com

thanks. updated the title to reflect that

https://gist.github.com/pegler/752ae571c5d6028ebe72

Row[1] : 800000000

Row[2] : 003600000

Row[3] : 070090200

Row[4] : 050007000

Row[5] : 000045700

Row[6] : 000100030

Row[7] : 001000068

Row[8] : 008500010

Row[9] : 090000400

8-- --- ---

--3 6-- ---

-7- -9- 2--

-5- --7 ---

--- -45 7--

--- 1-- -3-

--1 --- -68

--8 5-- -1-

-9- --- 4--

812 753 649

943 682 175

675 491 283

154 237 896

369 845 721

287 169 534

521 974 368

438 526 917

796 318 452

Level Counts:

(8, 7): 1 (7, 7): 2 (7, 2): 3 (7, 5): 5 (2, 2): 7 (6, 2): 11

(1, 2): 20 (1, 7): 33 (6, 7): 51 (4, 7): 62 (2, 7): 86 (5, 2): 114

(8, 2): 160 (5, 3): 195 (5, 8): 217 (5, 9): 260 (5, 1): 317 (5, 4): 371

(4, 8): 398 (4, 9): 456 (6, 9): 473 (6, 1): 440 (6, 3): 429 (6, 5): 407

(6, 6): 392 (4, 3): 364 (4, 1): 360 (7, 6): 330 (7, 1): 302 (2, 1): 264

(7, 4): 229 (8, 5): 200 (4, 5): 164 (1, 5): 134 (2, 5): 115 (2, 6): 92

(1, 6): 71 (3, 6): 63 (4, 4): 47 (1, 3): 41 (8, 6): 37 (3, 4): 28

(3, 1): 20 (8, 9): 15 (2, 9): 12 (2, 8): 7 (1, 8): 4 (3, 9): 4

(3, 8): 1 (8, 1): 1 (1, 9): 1 (9, 1): 1 (1, 4): 1 (9, 3): 1

(9, 4): 1 (9, 5): 1 (9, 6): 1 (3, 3): 1 (9, 8): 1 (9, 9): 1

Count = 7826

Total Count = 13080

I emailed GitHub this morning around 8am EST. I received this response this afternoon. It sounds like they are doing their own audit and will contact you if they find anything unusual:

I wanted to check in with you about this incident - access to repositories on GitHub is logged and we're currently investigating the potential of unauthorized repository access allowed by the MongoHQ and CircleCI breaches. Although we don’t currently have any evidence of unauthorized access, or specific news regarding your repositories.

Last night, in coordination with CircleCI, we revoked all SSH keys and OAuth tokens added to GitHub accounts and repositories by their service. We'll be in contact again when we have a more substantial update or news about your organization's repositories.

This seems to be confusing what is happening right now with what happened a few months ago: http://tech.mit.edu/V133/N7/hoax.html

MIT has NOT called off the lock down yet: http://emergency.mit.net/