{"shas":[["0f310b6110432ad0c17d6667bccb3b3d486eada6","e96de07d1d6b79a0bc0f4a2d45de7f1d1e47ec52@gmail.com","BADA: Moved timer manager to backends/timer/bada","Chris Warren-Smith"]],"ref":"refs/heads/initial-bada-port-master","size":1,"head":"0f310b6110432ad0c17d6667bccb3b3d486eada6","push_id":40111378}