{"push_id":574076851,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d2261fa9c65b26faf29ef19441f7d8c1b36bd3f7","before":"4fdea4617c7b8a22a4d30e8b0b3016b829fda6a4","commits":[{"sha":"d2261fa9c65b26faf29ef19441f7d8c1b36bd3f7","author":{"email":"8d7f979c1534f5c44454845389099db3fe027b4b@cisco.com","name":"Jeff Squyres"},"message":"coverity: move script to build-server directory\n\nMove the openmpi-nightly-coverity.pl script into the directory where\nall the other build server scripts live.\n\nLeave the coverity-model.c file in the coverity dir, because it's\nspecific to coverity.  Other items can be added into the\ncoverity-model.c, if helpful (and then we can re-submit that model\nfile).","distinct":true,"url":"https://api.github.com/repos/open-mpi/ompi/commits/d2261fa9c65b26faf29ef19441f7d8c1b36bd3f7"}]}