Re: disallow broken push to updates?