GitHub PushEvent at 2014-05-20 10:57:58
Repository: ncpol2sdpa
Actor: peterwittek
Payload: {"shas":[["533089ffb4c3273c48cf47af1f980c26f6ef96f9","723ec0ec625a2b395fcb111e4fbbaace7129910f@users.noreply.github.com","Option not to remove equalities re-added","Peter Wittek",true]],"size":1,"ref":"refs/heads/master","head":"533089ffb4c3273c48cf47af1f980c26f6ef96f9"}