block push of trivial merge to git server block push of trivial merge to git server bash bash