GitHub PushEvent at 2014-10-30 02:54:35
Repository: lean-windows
Actor: soonhokong
Payload: {"shas":[["9547e2d0770b32ad46f14f21b8d1d8294ab3f22c","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","feat(library/tactic): add rotate_left/rotate_right tactics, closes #278","Leonardo de Moura",true],["6515dac9145bf5f7dd75b18aba7335de422fa40a","1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","feat(library/tactic): add rotate_left/rotate_right tactics, closes #278","Travis CI",true]],"size":2,"ref":"refs/heads/master","head":"6515dac9145bf5f7dd75b18aba7335de422fa40a"}