Repositories

<jishi9>
jishi9 wants to merge refs/pull/37/head into refs/heads/master
2016-01-28 15:37:23

Display error message in case none is displayed by git command

cla/google reported status success at 2016-01-28 15:37:25
cla/google reported status failure at 2016-01-28 16:51:08
<ojarjur@google.com>
[email protected] commented on 2016-01-28 18:26:54 with status 👍
Location { commit: Some("bc162237d53b500d0ad6dae514c93a5ec577a60a"), path: None, range: None }

Alternatively, we may want to return the original error. However, this is clearly an improvement over the current state, so LGTM.

<ojarjur>
ojarjur commented on 2016-01-28 19:37:22 with status ℹī¸

This has already been merged into master, but for some reason GitHub isn't recognizing that.

I'm just going to manually close it.