Hi! I am more or less downloading sources within an automated process:
cd /pathtosoures git reset --hard git clean -ffdx git pull now git pull has problems merging what it found. At the moment I am resolving these merge errors with rm -rf /pathtosources git clone https://pathtoremote any other, better , way to get what I want: an exact copy of the repository found at https://pathtoremote? -- Thomas -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To unsubscribe from this group and stop receiving emails from it, send an email to git-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/git-users/6b9937fc-ee1b-4c43-a175-6afd2e49b166n%40googlegroups.com.
