O push para o Github funcionou direitinho. Mas só fiquei intrigado pelo fato de o Git não ter pedido senha quando eu dei enter no comando git push origin master.
Isso é problemático?
Qual a explicação para isso? Penso que talvez seja porque eu já usei minha conta no Github neste PC e tal, mas não sei se tem a ver.
Obrigado!