{"push_id":1264339383,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"d084880a4141dfbfd51dc84a0188bd3e224fe9a1","before":"efabe15f9b0ff46f9cb094ebb9d704ea0e7ee47e","commits":[{"sha":"a99def395315dd857f94eda89a788e1901e8dde3","author":{"name":"Morten Piibeleht","email":"3802e22fb82d78ee6cfb98b899f224030cafdede@gmail.com"},"message":"Fix index ordering when extension changes\n\nCurrently the file extensions are not changed in `pagesmap`s, but are\nin the generated lists of `IndexNode`s and `ContentsNode`s. This\nconfuses the sort in the `populate!` functions when the extension is not\n`.md` anymore. With this patch the extension change is postponed to the\nwriting step, making the `IndexNode` and `ContentsNode` sort\nformat-independent.\n\nFixes #226.","distinct":false,"url":"https://api.github.com/repos/JuliaDocs/Documenter.jl/commits/a99def395315dd857f94eda89a788e1901e8dde3"},{"sha":"d084880a4141dfbfd51dc84a0188bd3e224fe9a1","author":{"name":"Michael Hatherly","email":"f9c29a9cc760d9045e596c23ffe6adafc8ea819f@gmail.com"},"message":"Merge pull request #234 from JuliaDocs/mp/fix-index-ordering\n\nFix index ordering when extension changes","distinct":true,"url":"https://api.github.com/repos/JuliaDocs/Documenter.jl/commits/d084880a4141dfbfd51dc84a0188bd3e224fe9a1"}]}
{"actor":{"display_login":"MichaelHatherly"}}