Re: Update a bare repository

Hello,

The "+" in both cases means that it copies whatever Junio has, even if
it might lose some commits of yours. But that seems to be what you
want in this case.

thanks a lot. That is exactly what I was looking for.

The simplest thing is not to give write access to the repo for your
pushers. However, you could also put in a pre-receive hook that rejects
all pushes.

Is there an example somewhere?

	Thomas