> collaborator then pushes some changes based on outdated information and breaks everything github does have better ways to prevent that. that's the point of u

> collaborator then pushes some changes based on outdated information and breaks everything github does have better ways to prevent that. that's the point of using git, right?