{"push_id":1034915868,"size":1,"distinct_size":1,"ref":"refs/heads/iframes-know-their-pipelines","head":"e5287b4b6fefa86a4323438fdf7de2b64929b6db","before":"dd97a10c7f7efacea4b2dc1cdd2e3c9d31dc4325","commits":[{"sha":"e5287b4b6fefa86a4323438fdf7de2b64929b6db","author":{"email":"0f090b00e1f6f00c3ad93f3af1e80f8d76cac273@mimiga.net","name":"Patrick Walton"},"message":"script: Make iframes know their pipeline IDs at all times, even after\nnavigation.\n\nSince WebRender uses the pipeline ID stored in the iframe element to\ndetermine which pipeline to display, it had better be kept up to date!\n\nCloses #9919.","distinct":true,"url":"https://api.github.com/repos/pcwalton/servo/commits/e5287b4b6fefa86a4323438fdf7de2b64929b6db"}]}