{"push_id":609312322,"size":3,"distinct_size":3,"ref":"refs/heads/spec","head":"94873932d7274a93c21c3d776d58941f590e3c20","before":"d3e8a3d7b740ebfe56e02b8c5f79d36e1e07148d","commits":[{"sha":"7eaa804c1e6f6f4898c383277b4955c14f124381","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"Use nicer font for typewriter style","distinct":true,"url":"https://api.github.com/repos/nfeske/genode-manual/commits/7eaa804c1e6f6f4898c383277b4955c14f124381"},{"sha":"d2af54c147cf6957f66aa30115b87faa9d6dc259","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"spec/latex.tcl: fix regexp for bold text","distinct":true,"url":"https://api.github.com/repos/nfeske/genode-manual/commits/d2af54c147cf6957f66aa30115b87faa9d6dc259"},{"sha":"94873932d7274a93c21c3d776d58941f590e3c20","author":{"email":"8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","name":"Norman Feske"},"message":"fixup \"spec: generate class descriptions\"","distinct":true,"url":"https://api.github.com/repos/nfeske/genode-manual/commits/94873932d7274a93c21c3d776d58941f590e3c20"}]}