{"push_id":975657168,"size":2,"distinct_size":0,"ref":"refs/heads/master","head":"520ca258d4f979500f839e13a278bee35bfcc00a","before":"a746522b58d31e14fe509d2f11fcb01b2089fdb0","commits":[{"sha":"ec0ea465ec1722175be277f806cdd11bcc75ca2f","author":{"email":"d72b76de62aede634cedea46343cd2a0ce5e4380@gmail.com","name":"Jonathan Giddy"},"message":"Calculate mp4 header length correctly.","distinct":false,"url":"https://api.github.com/repos/servo/servo/commits/ec0ea465ec1722175be277f806cdd11bcc75ca2f"},{"sha":"520ca258d4f979500f839e13a278bee35bfcc00a","author":{"email":"1d30da7446c147361b50ba946a7897e87cc888f4@mozilla.com","name":"bors-servo"},"message":"Auto merge of #9618 - jongiddy:fix-mp4-size, r=jdm\n\nCalculate correct mp4 header length.\n\nThe calculation of MP4 frame length is incorrect, shifting values by 1 bit instead of 8 bits.  It works for the test MP4 file because the length of the frame is less than 256 bytes, so the shifted values are all zero.\n\nThis PR changes the code to calculate the length correctly. It adds a test to check a fake long stream. Still not long enough to test completely, but at least detects the problem with the original code.\n\n<!-- Reviewable:start -->\n[<img src=\"https://reviewable.io/review_button.svg\" height=\"40\" alt=\"Review on Reviewable\"/>](https://reviewable.io/reviews/servo/servo/9618)\n<!-- Reviewable:end -->","distinct":false,"url":"https://api.github.com/repos/servo/servo/commits/520ca258d4f979500f839e13a278bee35bfcc00a"}]}