{"push_id":707926108,"size":1,"distinct_size":1,"ref":"refs/heads/8.5","head":"cd2a7b8c301d5d876aacfb0ae0f377f66409c7ce","before":"88949c0c4e58a735b85dbe1f95e836f80015bafe","commits":[{"sha":"cd2a7b8c301d5d876aacfb0ae0f377f66409c7ce","author":{"email":"20053a48688cff52b9d62b07b361c9ccc1cfc644@cs.harvard.edu","name":"Gregory Malecha"},"message":"need a DECLARE MODULE for 8.5","distinct":true,"url":"https://api.github.com/repos/gmalecha/coq-plugin-utils/commits/cd2a7b8c301d5d876aacfb0ae0f377f66409c7ce"}]}