{"push_id":1337511121,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a9cba8e2608b6cbd75f0ed1e055cbc042841de7f","before":"8d1fdf602e1ba97f10bde490235a1281f4f199b0","commits":[{"sha":"a9cba8e2608b6cbd75f0ed1e055cbc042841de7f","author":{"name":"Emmanuel Briot","email":"d823b16e257657a32fe41daf7b9070d86c4d879a@adacore.com"},"message":"Add support for --path command line switch\n\nThis is used when GPS is spawned from a desktop shortcut on OSX, so that\nthe user's PATH as set in .bashrc or others is correctly seen by GPS, and\nthus the compiler is found.\n\nPart of PA07-058\n\nChange-Id: I91179087fe5ac3d985fd25df0f9c78676aac3ea1","distinct":true,"url":"https://api.github.com/repos/AdaCore/gps/commits/a9cba8e2608b6cbd75f0ed1e055cbc042841de7f"}]}
{"actor":{"display_login":"adacore-bot"}}