{"push_id":2310002337,"size":2,"distinct_size":1,"ref":"refs/heads/v8.4pl4","head":"0201472d19a1fa5e5e63b5f9e705afbcb007ecbb","before":"6abd9e0bd2dee6e8530c6227dc6ee0b36a62ed90","commits":[{"sha":"519cbe32955c1737357689d713764672541f38ab","author":{"name":"eldesh","email":"992c159b0842d07d0a292a2e873d447ba35734eb@gmail.com"},"message":"improve: use 1000:1000 as uid:gid\n\nmapping uid and gid to docker defaults","distinct":false,"url":"https://api.github.com/repos/eldesh/docker-coq/commits/519cbe32955c1737357689d713764672541f38ab"},{"sha":"0201472d19a1fa5e5e63b5f9e705afbcb007ecbb","author":{"name":"eldesh","email":"992c159b0842d07d0a292a2e873d447ba35734eb@gmail.com"},"message":"Merge remote-tracking branch 'origin' into v8.4pl4","distinct":true,"url":"https://api.github.com/repos/eldesh/docker-coq/commits/0201472d19a1fa5e5e63b5f9e705afbcb007ecbb"}]}
{"actor":{"display_login":"eldesh"}}