{"push_id":645588787,"size":4,"distinct_size":4,"ref":"refs/heads/rollup","head":"42a1964e93983f70ed046c3b10ad525296032daf","before":"5c60145323d6e42cee5ad11efdabbd753b667d63","commits":[{"sha":"4ade7080c37b3ba27b018750823fd6f9d0adcc0c","author":{"email":"d911cc358bbde069d38865e81d497e2bc529a5af@roryokane.com","name":"Rory O’Kane"},"message":"In [-] doc buttons, change hyphen ‘-’ to minus ‘−’\n\nThe minus sign ‘−’ is the same width as the plus sign ‘+’, so the button’s transition between the two symbols will look more smooth.","distinct":true,"url":"https://api.github.com/repos/steveklabnik/rust/commits/4ade7080c37b3ba27b018750823fd6f9d0adcc0c"},{"sha":"02428dfde5b1dc326444943dc3c298731945272e","author":{"email":"d911cc358bbde069d38865e81d497e2bc529a5af@roryokane.com","name":"Rory O’Kane"},"message":"Change hyphen to minus in HTML template too","distinct":true,"url":"https://api.github.com/repos/steveklabnik/rust/commits/02428dfde5b1dc326444943dc3c298731945272e"},{"sha":"72e8f7b1ab344546e7b073317d4f696acab1a5f8","author":{"email":"d911cc358bbde069d38865e81d497e2bc529a5af@roryokane.com","name":"Rory O’Kane"},"message":"Change literal minus ‘−’ to HTML entity ‘&minus;’\n\nSo that if people accidentally delete the character, they won’t re-type it as a hyphen, which would cause bugs.\n\nI changed ‘&plus;’ too, even though it won’t be re-typed incorrectly, so that it is easier to see when plus is used as a symbol for the button, and when it is used as an operator in code. It also makes it clearer that the use of an entity for minus is on purpose, so people won’t be tempted to replace the entity incorrectly with a hyphen character.","distinct":true,"url":"https://api.github.com/repos/steveklabnik/rust/commits/72e8f7b1ab344546e7b073317d4f696acab1a5f8"},{"sha":"42a1964e93983f70ed046c3b10ad525296032daf","author":{"email":"9ce5770b3bb4b2a1d59be2d97e34379cd192299f@steveklabnik.com","name":"Steve Klabnik"},"message":"Rollup merge of #24797 - roryokane:patch-1, r=nikomatsakis\n\nThe minus sign ‘−’ is the same width as the plus sign ‘+’, so the button’s transition between the two symbols will look slightly smoother.\r\n\r\nIf you don’t want to use literal Unicode characters, I can change ‘−’ to `\\u2212`. I’m not starting with that suggestion because ‘−’ is easier to read and understand, and if I used `\\u2212`, it would probably be necessary to also comment the usage on each line to explain what character is being used.","distinct":true,"url":"https://api.github.com/repos/steveklabnik/rust/commits/42a1964e93983f70ed046c3b10ad525296032daf"}]}