GitHub was down

Re:GitHub was down by bradfitz on Monday July 31, 2017 @01:39PM (#14894230)

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.)

[ Parent | on HN ]

Re:GitHub was down by LeifCarrotson on Monday July 31, 2017 @01:59PM (#14894419)

> Maintner is short for "Maintainer"...the name of the daemon that serves the maintner data to other tools is "maintnerd".

Nice work! But as is custom on HN, I'll bikeshed on the name instead of delving into the contents of the tool. Why shorten the word by just 2 letters? Is there something special about the tooling that makes 8-letter projects more desirable than 10-letter projects, or is it linked to the removal of Artificial Intelligence from the process? I'd personally mis-type that name all the time.

[ Parent | on HN ]

Re:GitHub was down by macintux on Monday July 31, 2017 @02:03PM (#14894453)

I'd prefer it just for searchability. Good luck finding anything online called "maintainer".

[ Parent | on HN ]

Re:GitHub was down by slackingoff2017 on Monday July 31, 2017 @02:18PM (#14894588)

I think he was excgarating the issue a bit. Your logic is sound

[ Parent | on HN ]

Re:GitHub was down by j_s on Monday July 31, 2017 @04:47PM (#14895760)

> excgarating

I commit to re-use this as often as possible!

http://www.urbandictionary.com/define.php?term=Excgarated

An inspiring new word invented by a redditor on March 23, 2014. The redditor was actually trying to spell exaggerated. This word was misspelled so horribly that when it was googled the only thing that came up was a link to the comment itself.

[ Parent | on HN ]

Re:GitHub was down by slackingoff2017 on Monday July 31, 2017 @08:53PM (#14897106)

Glad someone caught it :)

[ Parent | on HN ]

Re:GitHub was down by p4lindromica on Monday July 31, 2017 @09:55PM (#14897340)

ahh, a googlewhack

[ Parent | on HN ]

Re:GitHub was down by type0 on Monday July 31, 2017 @05:59PM (#14896263)

Should have called it Matenerd, shorter and much better name

[ Parent | on HN ]

Re:GitHub was down by shoyer on Monday July 31, 2017 @02:41PM (#14894764)

I think it's a Go joke. Just be glad it's not called "m"!

[ Parent | on HN ]

Re:GitHub was down by yebyen on Monday July 31, 2017 @04:26PM (#14895604)

Oops, instructions not clear, accidentally created another suite of build tooling called "gb"

[ Parent | on HN ]

Re:GitHub was down by kornish on Monday July 31, 2017 @03:04PM (#14894962)

> alternate web UIs on planes

Could you expand on this? Sounds interesting. You mean like an offline UI powered by the in-memory mutation list?

[ Parent | on HN ]

Re:GitHub was down by dawnerd on Monday July 31, 2017 @07:00PM (#14896609)

I think they just meant lighter. They load quite a bit and on really high latency and slow connections it's painful to use.

[ Parent | on HN ]