{"push_id":1082568244,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fc2f724186c06e62fea21e36f9c25180afd31275","before":"6dddbdfb1c8ae9c2e4c4acef0481eb872b6f093a","commits":[{"sha":"fc2f724186c06e62fea21e36f9c25180afd31275","author":{"email":"29bbaec13092d36559e3abc6f27f7d09c395819f@mit.edu","name":"Jason Gross"},"message":"Work around bug #4684 in 8.5pl1\n\nThis is https://coq.inria.fr/bugs/show_bug.cgi?id=4684, Singleton list notation unusable in 8.5pl1 if certain files are imported","distinct":true,"url":"https://api.github.com/repos/JasonGross/coq-scripts/commits/fc2f724186c06e62fea21e36f9c25180afd31275"}]}