Hi Thomas, I have had similar problems with some public repositories and in each case, it has been due to the repository owner abandoning/discontinuing the "master" branch and using "main" instead. I too have been forced to reclone and, after doing so, have seen "main" as the default branch.
I sometimes have a local branch with personal customizations that I don't want to lose so if anyone knows another approach, I, and I'm sure there are/will be others, would be interested as well. -mike On Friday, February 12, 2021 at 8:46:23 PM UTC-5 tschw...@gmail.com wrote: > 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/dc9ce832-920e-4a8c-80ec-321f06112431n%40googlegroups.com.
