{"shas":[["c00193f7a276b85014b564226f3ce1a685ce6ba3","1a9d76ab6262529a26a9ee107b8696434b5d642b@gmail.com","Preferences should be updated in a smarter way now.","Felipe Morales"],["bf01ba3131799d3517ec8943a073276455b9d8e5","1a9d76ab6262529a26a9ee107b8696434b5d642b@gmail.com","Merge branch 'gnome-shell' of github.com:fmoralesc/indimpc into gnome-shell","Felipe Morales"]],"ref":"refs/heads/gnome-shell","size":2,"head":"bf01ba3131799d3517ec8943a073276455b9d8e5","push_id":35902022}