How does GitHub change the URL but not the reload? [duplicate]

It uses the new push/pop state functions in the history manipulation API.


They described this html5 functionality on their blog here


HTML 5's pushState