{"head":"e770671bd5b32f726dabe260c52e665897af510f","size":1,"push_id":45483206,"shas":[["e770671bd5b32f726dabe260c52e665897af510f","51dc1000947fb6276aca7fb5d59ae3178806955c@gmail.com","updated for gnome-shell 3.2","Christian Hofer"]],"ref":"refs/heads/master"}