{"push_id":767684904,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"448477ec6be14c0217f7ff74d90fb53d78fdf5c9","before":"25508b2953ff8d0941c257ee1cb887278cfebd79","commits":[{"sha":"448477ec6be14c0217f7ff74d90fb53d78fdf5c9","author":{"email":"adfd9bd7991467a0d5064c4d7197f46e286f225b@gmail.com","name":"Bernhard Schommer"},"message":"Count number of input files and do not use number of source files for warning about no input.","distinct":true,"url":"https://api.github.com/repos/AbsInt/CompCert/commits/448477ec6be14c0217f7ff74d90fb53d78fdf5c9"}]}