{"push_id":853711599,"size":1,"distinct_size":1,"ref":"refs/heads/VDM-2-Port","head":"7aef60fc76955c432fb3fa98d493b4423e0e0b87","before":"555dcca66f7010641b681961fe0e6aa24b563aab","commits":[{"sha":"7aef60fc76955c432fb3fa98d493b4423e0e0b87","author":{"email":"705a47e0af5146453ff750ee0b2d300733bca1ce@dwnpcpu366-PC.dwnp.deerwalk.com","name":"unknown"},"message":"removed the navigation and added the server setting on the add Server popup.","distinct":true,"url":"https://api.github.com/repos/VoltDB/deployment/commits/7aef60fc76955c432fb3fa98d493b4423e0e0b87"}]}