{"push_id":931913552,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3e69872e1b9ea24bd414fdcabd8cb18414803fe8","before":"6ccec6421823480e3490a6545dee4bd438b8aa12","commits":[{"sha":"3e69872e1b9ea24bd414fdcabd8cb18414803fe8","author":{"email":"95dc6e59295a31160422372b2c5f76ec6675996b@hotmail.com","name":"rickreis"},"message":"add impl codegenerator","distinct":true,"url":"https://api.github.com/repos/leanwork/lean-codepack/commits/3e69872e1b9ea24bd414fdcabd8cb18414803fe8"}]}