{"push_id":711828091,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1cb5291d5833340e01da33e4cca3ac373614d4a4","before":"c5185e0acaec24b15e89da675736d8e81e8e98a5","commits":[{"sha":"1cb5291d5833340e01da33e4cca3ac373614d4a4","author":{"email":"796ebbfc5accd0d09c8ba40e89426a63cebfbc1a@bierbaumer.net","name":"Bruno Bierbaumer"},"message":"add some Gringo/Clingo specialities","distinct":true,"url":"https://api.github.com/repos/0xbb/language-asp-core-2/commits/1cb5291d5833340e01da33e4cca3ac373614d4a4"}]}