there is this culture amongst many of the programmers to be doing rebases and forced pushes. sometimes to shared branches! horrifying.
@benc to shared branches, absolutely not. To a branch only that developer is working on, all day, every day. Anything for a useful commit history which tells a story rather than “fixed PR comments”.
@jon well our PRs get squash merged because the transient-developer-model of a university doesn't really encourage trying to persuade individual humans to make decent commit history... but you've made it so now I can't push to the branch without fucking round with my history in a way that git specifically helps you not do.