Il est préférable de ne pas faire de distinction entre les majuscules et les minuscules pour les répertoires et les fichiers. Windows ne reconnaît pas les majuscules et les minuscules, mais Linux le fait. Lorsque git rencontre ce genre de problème, il ne peut être résolu qu'en fonction du système actuel. , il est donc préférable de l'éviter. Des choses comme changer la capitalisation. Si vous voulez écraser des choses sur github, c'est très simple, git push origin master -f (-f est un push forcé)
Il est préférable de ne pas faire de distinction entre les majuscules et les minuscules pour les répertoires et les fichiers. Windows ne reconnaît pas les majuscules et les minuscules, mais Linux le fait. Lorsque git rencontre ce genre de problème, il ne peut être résolu qu'en fonction du système actuel. , il est donc préférable de l'éviter. Des choses comme changer la capitalisation. Si vous voulez écraser des choses sur github, c'est très simple, git push origin master -f (-f est un push forcé)