{"push_id":665866419,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"a844b5836cc89d1fc10d9e54f974b93eb41bf1bd","before":"76ac94edf6f3524f047a1e31065e574b4daf750a","commits":[{"sha":"8b17c75c4b91f381f17d41771d4ce7679a66d564","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"Intro: motivation, app-specific tcb, about","distinct":true,"url":"https://api.github.com/repos/nfeske/genode-manual/commits/8b17c75c4b91f381f17d41771d4ce7679a66d564"},{"sha":"a844b5836cc89d1fc10d9e54f974b93eb41bf1bd","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"Title page","distinct":true,"url":"https://api.github.com/repos/nfeske/genode-manual/commits/a844b5836cc89d1fc10d9e54f974b93eb41bf1bd"}]}