{"push_id":2501292858,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d6e1ca2bda5e60b0978aa8ae2c9559c017d01373","before":"ab04ce0cbbe8651de8fb2bc10300240cfbd22251","commits":[{"sha":"d6e1ca2bda5e60b0978aa8ae2c9559c017d01373","author":{"name":"Maxim Reznik","email":"fe2b46d22008f155b7a3f850235493b915b46382@adacore.com"},"message":"R419-028 Fix access to grouped bookmarks\n\nWe need to go deeper to iterate over bookmark groups.\nOtherwise GPS.Bookmark.list() won't return them and\n'Goto next bookmark' action won't work either.\n\nChange-Id: Ia9fe273249bad9363a82ad6422aa623071458e19","distinct":true,"url":"https://api.github.com/repos/AdaCore/gps/commits/d6e1ca2bda5e60b0978aa8ae2c9559c017d01373"}]}
{"actor":{"display_login":"adacore-bot"}}