{"head":"2014856a26e8cad488b4544fa3880d7eb2d9d9d5","size":1,"push_id":45077068,"shas":[["2014856a26e8cad488b4544fa3880d7eb2d9d9d5","228c08dd124437b2748b906cb28c42751d30a805@dave-xps.(none)","gnome-do mini theme and always expanded","David Schoen"]],"ref":"refs/heads/master"}