{"shas":[["f041806e08253eb6ed650d4197a909a66b364a61","102c69823e97d84b7203461ec35c185f5263a951@gmail.com","work around plugins that alter sign color","Mike"]],"ref":"refs/heads/master","size":1,"head":"f041806e08253eb6ed650d4197a909a66b364a61","push_id":34985199}