Isn't this basically https://xkcd.com/303/ but "Github is down"?

(Man, unbelievable the mileage we're getting out of this comic.)

I mean this really seriously. Maybe not a game on your computer, that's unprofessional (unless your TL/manager does it first). But

> Not your fault if the company can't provide the tools to do the job, go find something better to do.

is just Truth. What should I do in this case to best deliver value to the company, fly to SF and hand Github a ringbound volume of my changeset? Patch our corporate network so we can interface to Github via RFC 1149?

More "professional" ideas:

- read a book; a novel or TAOCP for nerdmaxxing

- play a game on your phone

- learn to draw. Draw hands!