`default-branch-button` does not use AJAX navigation #4623

Please ensure:

• The bug is caused by Refined GitHub. It doesn't happen if I disable the extension.

Description

Clicking the default-branch-button should be the same as using the branch dropdown (except that we point to /user/repo and they open /user/repo/tree/master. Our link is better)

Screenshot

Page navigation, wrong

Look at the bottom of the video, it says "page navigated"

https://user-images.githubusercontent.com/1402241/127604658-cbd90503-fbc3-4e59-b49e-9e39a8ff1141.mov

Ajax navigation, correct

https://user-images.githubusercontent.com/1402241/127604642-a475b334-3ae7-4f5f-896b-e1d7b1aa4c29.mov

Console errors

No response

Example URL

https://github.com/vutran/twas/tree/v2.1.2

Browser(s) used

Safari