GitHub PushEvent at 2014-02-27 19:38:49
Repository: lean
Actor: leodemoura
Payload: {"shas":[["26bf21b91d652073644f2a07abb6671b881926cd","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","test(examples/lean): opaque pairs\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true]],"size":1,"ref":"refs/heads/master","head":"26bf21b91d652073644f2a07abb6671b881926cd"}