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

Answer 1

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

Answer 2

They described this html5 functionality on their blog here

Answer 3

HTML 5's pushState