{"push_id":948266979,"size":1,"distinct_size":1,"ref":"refs/heads/markdown-option","head":"6e748d48841a11f76f65ca2b3a2e675fdf1a91bb","before":"38f1ce214f7d2ec8209c16072ed72497c2a5f586","commits":[{"sha":"6e748d48841a11f76f65ca2b3a2e675fdf1a91bb","author":{"email":"eeeb3def8f8a9145574c1ae764a03b15a4d4fa8c@outlook.com","name":"Wasabi Fan"},"message":"Add markdown formatting option to info tool","distinct":true,"url":"https://api.github.com/repos/WasabiFan/ev3dev-tools/commits/6e748d48841a11f76f65ca2b3a2e675fdf1a91bb"}]}