{"push_id":1329840334,"size":1,"distinct_size":1,"ref":"refs/heads/android-7.0","head":"083cbab947255915ae6eb559c9bdf9b941d00d87","before":"54b1111ab5cd153f2baec7b5724a9010f1adb8b8","commits":[{"sha":"083cbab947255915ae6eb559c9bdf9b941d00d87","author":{"name":"Alex Avance","email":"424dd00b12365a3c6f9220aa2e7482e24e8e7ae0@gmail.com"},"message":"Add an option to change the device hostname (1/2).\n\nThis adds an option to modify the device hostname used\nin ip resolution. This is useful when connecting to the\nandroid device in a dynamic dhcp environment.\n\nChange-Id: I44e4771f4415a32fe66867d4dd90f1ad138341e1","distinct":true,"url":"https://api.github.com/repos/omnirom/android_frameworks_base/commits/083cbab947255915ae6eb559c9bdf9b941d00d87"}]}
{"actor":{"display_login":"OmniBot"}}