devtools
devtools copied to clipboard
user should be notified to reload if he has old version
if you are using devtools and a new version has been deployed user should be notified to reload the page (to discard cache of the page), this feature is seen on devdocs.io.
suggested implementation is loading github version file (last commit) and compare it with current page (commit) version id it's not the same a notification should be pushed to alert user to reload page with a link that reload it.