When pulling changes from GitHub into a HTML repl, for the changes to update on the website, you must go in and modify all of the changed files (such as adding a space, or something), so that the changes register, and are updated on the website. This bug has existed for over 2 years, but I’ve finally gotten round to reporting it.
Changes update on the site with no extra steps needed.
You need to go into every changed file and make some form of change to it, so that Replit realises there is a change and updates the website.
Steps to reproduce:
Clone a repo into Replit. Make a change to this repo from outside the repl. Pull the changes into the repl. See that the website does not update. Make a small modification to the changed files. Refresh the website, see that the changes have now updated.
Bug appears at this link: