{"push_id":869329520,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"12e37c97fc4f71d73451ef9018f5f909a8b66e86","before":"631f2a98822fa87f85ec43a90bc9fe3b1f2dffa7","commits":[{"sha":"12e37c97fc4f71d73451ef9018f5f909a8b66e86","author":{"email":"c6028e844c4df61195c9e04197f9d8f34b9b2c2d@fb.com","name":"jrm"},"message":"sort the list of bugs in order to preserve the position of the entries in the JSON file\n\nSummary: public\nThe main objective here is to reduce the list of changes as much as possible to that the change set in the JSON base case only relates to the changes in Infer\n\nReviewed By: sblackshear\n\nDifferential Revision: D2661085\n\nfb-gh-sync-id: 113a695","distinct":true,"url":"https://api.github.com/repos/facebook/infer/commits/12e37c97fc4f71d73451ef9018f5f909a8b66e86"}]}