Added horrible hack to prevent concurrent git pushes.