GitHub PushEvent at 2014-03-14 13:15:15
Repository: ubuntu-install-scripts
Actor: hugojosefson
Payload: {"shas":[["d0788ea57a2833ea8c38e9b9cd7eb953ee15b5b2","3faf7ed52fa83d583fc670a96bcf92da270d0767@josefson.org","Download ubuntu-13.10-gnome-shell branch here.","Hugo Josefson",true],["23a134364a0af6701c44ee0cba2e1ac41439fce1","3faf7ed52fa83d583fc670a96bcf92da270d0767@josefson.org","Install gnome-shell.","Hugo Josefson",true],["7adbea7b78bdf2885f94610c708da2b7be31f9af","3faf7ed52fa83d583fc670a96bcf92da270d0767@josefson.org","Gnome shell already handles HDPI text.","Hugo Josefson",true]],"size":3,"ref":"refs/heads/ubuntu-13.10-gnome-shell","head":"7adbea7b78bdf2885f94610c708da2b7be31f9af"}