Replace the local copy of the same file with the downloaded version.
Open the old file in Builder and resync.
There is no need to replace old Python, JavaScript or index.html files since they can be recreated.
Another possibility is to revert in GitLab directly but I got an error message when I attempted this route.
Sorry, we cannot revert this commit automatically. This commit may already have been reverted, or a more recent commit may have updated some of its content.
