GitHub PushEvent at 2014-01-06 17:01:54
Repository: orcc
Actor: alorence
Payload: {"shas":[["53f6a64388f7a6f590df907869ef1ea44528c346","504d11441fa9b572eaa5127636d735aa969b1ef6@insa-rennes.fr","Oops, fix updateNeeded() for ports","Antoine Lorence",true],["a8ac2a3d8ae2b81b67b9fd304dda113e3c90d2d7","504d11441fa9b572eaa5127636d735aa969b1ef6@insa-rennes.fr","Fix spelling","Antoine Lorence",true],["bfe734b35ab1a09f6e5d796963ae604fa9c0e480","504d11441fa9b572eaa5127636d735aa969b1ef6@insa-rennes.fr","Fix displaying of button pad for ports","Antoine Lorence",true],["edd5f0ca48afd2bc6c44034569dcc45e43880b9b","504d11441fa9b572eaa5127636d735aa969b1ef6@insa-rennes.fr","Clarify a bit the selection border customization","Antoine Lorence",true]],"size":4,"ref":"refs/heads/new_graphiti_editor","head":"edd5f0ca48afd2bc6c44034569dcc45e43880b9b"}