Isso não é tanto uma dúvida, pq eu já descobri. No vídeo o instrutor cria um repositório remoto passando como parâmetro o caminho da pasta servidor, no padrão windows (C:\git-e-github\servidor). Só que na minha versão, se eu faço isso e dou um push depois, o git dá o erro:
$ git push local master
fatal: 'C:git-e-githubservidor' does not appear to be a git repository
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
O erro só é corrigido se eu removo o repositório remoto e crio ele novamente usando o padrão do git (/c/git-e-github/servidor). Ao dar um push nesse repositório remoto, aí dá tudo certo.
Minha versão do git é a 2.23.0.windows.1