On Tue, 2015-10-20 at 11:34 +0100, Ian Campbell wrote: > * See if there is a way to prevent pushes to the old trees (e.g. a > setting in their .git/config file).
It appears that it is trivial to block force pushes or pushes to the current branch (which I think might be meaningless for a bare repo) but that blocking all pushes involves using .git/hooks. I think this is probably too much faff, or at least not worth putting on the critical path. Ian. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel