{"push_id":902554067,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c328f48bfbb54603faccbc28c74ebcf978bf2ef9","before":"95fba3dba603bc3ee0760b33e8f2408ef12b3cbd","commits":[{"sha":"c328f48bfbb54603faccbc28c74ebcf978bf2ef9","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(util/file_lock): add support for Windows\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/c328f48bfbb54603faccbc28c74ebcf978bf2ef9"}]}