GitHub responds to Dear GitHub letter

Re:GitHub responds to Dear GitHub letter by bradfitz on Friday February 12, 2016 @11:43AM (#11088458)

I've been working on a bot to copy Github Pull Requests into Gerrit reviews, using the Google-hosted Gerrit servers.

My bot isn't running publicly yet, but you can see the start of it working at:

https://github.com/grpc/grpc-go/pull/546 or https://github.com/grpc/grpc-go/pull/545

(Code is at https://github.com/LetsUseGerrit/gerritbot for now, but I don't imagine anybody would use the code themselves... they'd only interact with it via the Github bot)

[ Parent | on HN ]

Re:GitHub responds to Dear GitHub letter by jeblair on Friday February 12, 2016 @01:22PM (#11089224)

Gerrit has an excellent REST API, and because I like working with code in a terminal, I wrote Gertty -- a terminal based interface to Gerrit. It should work with the Google hosted servers.

https://pypi.python.org/pypi/gertty

[ Parent | on HN ]

Re:GitHub responds to Dear GitHub letter by hueving on Friday February 12, 2016 @06:49PM (#11091538)

Gertty is the greatest greatness ever. Doing code reviews on a plane and syncing up when back online is so cool. Thank you for your work on this.

[ Parent | on HN ]

Re:GitHub responds to Dear GitHub letter by howeman on Friday February 12, 2016 @01:00PM (#11089044)

Is there any public "how to" about Gerrit? I've interacted with it a few times for Go codereviews, but not frequently enough to get comfortable. Really simple things like finding the "submit comments" button I have to spend five minutes finding every time.

[ Parent | on HN ]

Re:GitHub responds to Dear GitHub letter by endtime on Friday February 12, 2016 @01:18PM (#11089188)

I don't know of a general "how to" but 'a' is a keyboard shortcut to send a reply (with comments).

[ Parent | on HN ]

Re:GitHub responds to Dear GitHub letter by pbh101 on Friday February 12, 2016 @01:31PM (#11089308)

Expanding on this, typing '?' will bring up the help, like gmail.

[ Parent | on HN ]