{"push_id":616586265,"size":1,"distinct_size":1,"ref":"refs/heads/packaging_obs","head":"8871ddedce378b07432ea5f01d022e5d94ef420d","before":"f035fa6b96f449c734d27f88ac395a53a1ae7ccb","commits":[{"sha":"8871ddedce378b07432ea5f01d022e5d94ef420d","author":{"email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@andreasbaumann.cc","name":"Andreas Baumann"},"message":"muulti-platform switch for special Ubuntu builds","distinct":true,"url":"https://api.github.com/repos/andreasbaumann/strus/commits/8871ddedce378b07432ea5f01d022e5d94ef420d"}]}