The procedure works. It needs to be automated to avoid the potential disaster of forgetting to update the line in ./.git/config with the correct respository name, thereby overwriting something else.