{"push_id":747628604,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"2b1782e3d8deb9fccc3122d8d59fd84dc45d6759","before":"00f0ac4138c452474d2e57143637603f024932ad","commits":[{"sha":"2b1782e3d8deb9fccc3122d8d59fd84dc45d6759","author":{"email":"0d5d023571c69a74d7678ae7c153ac7bdc48295e@altern.org","name":"Pierre GRANDIN"},"message":"update Android NDK and SDK for CircleCI","distinct":true,"url":"https://api.github.com/repos/navit-gps/navit/commits/2b1782e3d8deb9fccc3122d8d59fd84dc45d6759"}]}