Thank you for teaching me about accesskey, very useful. You are right that GitHub is not an SPA, but they seem to be moving towards becoming a proper web appli

Thank you for teaching me about accesskey, very useful. You are right that GitHub is not an SPA, but they seem to be moving towards becoming a proper web application - probably will happen over the next year or two. The site is quite interactive - e.g. closing issues automatically when a PR is merged to master, GitHub actions triggering on pushed commits and giving developers valuable feedback on their changes. Now that they are pushing GitHub Codespaces, they are a small step from turning the GitHub site into the only place a developer needs to go to write code, test it, and release it.