{"push_id":757850285,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"74daee9561219eda2916c1979c8245d32bd43e9f","before":"09050114fe17c500cbe78281c6aef49905d7ba65","commits":[{"sha":"74daee9561219eda2916c1979c8245d32bd43e9f","author":{"email":"4bf1166166360b6efed53125811d31262f1ce204@galois.com","name":"David B. Lamkins"},"message":"Browser launched from keyboard is always tabbed. Terminal launched from keyboard is tabbed with Shift modifier.","distinct":true,"url":"https://api.github.com/repos/TieDyedDevil/Fi3/commits/74daee9561219eda2916c1979c8245d32bd43e9f"}]}