{"push_id":1038329259,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f048101063b0cac03f7f268551a77d275833d287","before":"7e9b8224ee95874c517cbd5c9f28209d01c00360","commits":[{"sha":"f048101063b0cac03f7f268551a77d275833d287","author":{"email":"4aa685c476781416c6cd5f00e9ee5c648de49e6a@hpc","name":"Diekmann"},"message":"Mehr Lemmata ist mehr gut\n\nWord lemmas about casting and bitlists","distinct":true,"url":"https://api.github.com/repos/seL4/l4v/commits/f048101063b0cac03f7f268551a77d275833d287"}]}