How do I do awesome refreshless page changes like GitHub do? November 20, 2022 by Tarik They have a detailed blog entry up on how it works (HTML5 History API) here: https://github.com/blog/760-the-tree-slider