On Sat, Jul 14, 2012 at 12:12 AM, Angelo Borsotti <angelo.borso...@gmail.com> wrote: > Hi P.J. > > exactly. That is the answer. Surfing the web I have seen that "bare" > repositories > are supported only in git 1.7. Since it is (and was) not possible to push to > a > non-bare repository, I wander how the community used git pre-1.7. No one > ever used a remote repository to push files since now?
I don't know the history in detail, but I know the restriction against pushing to non-bare repositories is relatively recent. Maybe the part that was new in 1.7 was the config option that lets the repository know that it's bare and can therefore accept pushes? I can't think of any other reason for the bare/non-bare distinction to be kept in the repository itself. -PJ Gehm's Corollary to Clark's Law: Any technology distinguishable from magic is insufficiently advanced. -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To post to this group, send email to git-users@googlegroups.com. To unsubscribe from this group, send email to git-users+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/git-users?hl=en.