Pages Builds Failure Rate spiked to over 2000%. I don't know how that's possible, but it seems pretty bad.
It'd be nice to have an intuitive explanation on the status page for what PBFR means if it can go over 100%.
GitHub was down
91–100 of 253 posts
Re: GitHub was down
#92Thoughts on the cause?
Defcon let out on Sunday and there's a lot of bored hackers with leftover energy.
Re: GitHub was down
#93I would love to see a chart of traffic to other sites when GitHub goes down. My bet is that HackerNews and Twitter both get significant spikes from all those bored developers.
> bored developers Bored? Git's a distributed version control system, so no excuses. Get back to work! But in all seriousness I kind of wish GitHub provided a way to mirror things like issues and PRs so you never have to be fully reliant on one service. Not being able to read these really does make it impossible to get work done offline.
Go has a mirror of our GitHub project via this thing "Maintner" I wrote (running at http://maintner.golang.org/) that syncs GitHub in realtime to a log of mutations. (As well as syncing Gerrit and all its comments etc).
So then we can slurp all of our GitHub & Gerrit history into RAM (takes about 5 seconds and 500 MB) via https://godoc.org/golang.org/x/build/maintner/godata#Get and walk it in-memory and do stuff with in. (runs our realtime bots, alternate web UIs on planes, alternate search, stats, etc.)
Re: GitHub was down
#94Earlier quoted context omitted.
What? Github employs members of the Rails core team including Aaron Patterson. They literally pay for open source software development. I'm sure they employ direct maintainers/contributors to other open source projects as well.
The Atom editor is widely used and was a major inspiration for VS Code. Electron, which is a GitHub project is also used for countless other projects.
"major inspiration for VS Code"
Which is a Microsoft product, and Microsoft is the inventor of EEE. Ergo, GitHub is complicit in an EEE attempt. Q.E.D. Case closed.
/s
Re: GitHub was down
#95I had to change a username from capitalized to uncapitalized and use my updated remote afterwards, apologies if I broke it for everyone.
To the best of my knowledge, GitHub org and usernames in the URI are case-insensitive for both the website and clone URIs. I haven't tested ssh clone URIs to know if they are also insensitive, but I'd guess they are
You would only need to change it if the "presentation" format bothers you (again, as far as I know)
Re: GitHub was down
#96Earlier quoted context omitted.
But they want you to Rely on Github... if they could find away to make Git only work with Github they would in a heart bet. Github is not a open source company, it is not really even a supporter of free software IMO they are a danger to free software for this very reason. They are following the old school Microsoft model of Embrace and Extend... I am waiting to see if they can extinguish,
What? Github employs members of the Rails core team including Aaron Patterson. They literally pay for open source software development. I'm sure they employ direct maintainers/contributors to other open source projects as well.
Are they paying him to help make an open source alternative to github? If not, then it's not really relevant.
They are actively working against open source tooling for software development by developing features only for their closed platform.
Gitlab is a much better example of a company that fully embraces open source.
Re: GitHub was down
#97My apologies. I knew my Perl 6 wrapper for GLFW was bad, but never realized it'd be so bad that GitHub would choke to death on it.
Re: GitHub was down
#98Insert remark on why we use a centralized service for a distributed source control system, etc. No one seems to care, unfortunately
The reason is github did a fantastic job of implementing useful features. The visual design is unmatched and they have done a great job implementing developer oriented integrations and social features.
A more federated approach to this sort of thing might have been nice, but so far nothing I have seen comes close to the value-add offered by github.
Re: GitHub was down
#99Insert remark on why we use a centralized service for a distributed source control system, etc. No one seems to care, unfortunately
That's it. I'm starting a github on blockchain.
Re: GitHub was down
#100Insert remark on why we use a centralized service for a distributed source control system, etc. No one seems to care, unfortunately
The reason is github did a fantastic job of implementing useful features. The visual design is unmatched and they have done a great job implementing developer oriented integrations and social features. A more federated approach to this sort of thing might have been nice, but so far nothing I have seen comes close to the value-add offered by github.
You're sidestepping the main reason I believe it worked so well. It benefits from network effect. It is a collaborative tool and people like to have their work on there so others can collaborate with them.