i am wondering what happens if you squash between branches and push/pull from remote in between.
DEVELOPER 1
1. $ git checkout foo
2. $ git commit -m 'changed file' file.txt
$ git commit -m 'changed another file' file2.txt
3. $ git push
DEVELOPER 2
4. $ git checkout foo
5. $ git pull // gets commits from 2. above
6. $ git checkout bar
7. $ git merge foo
8. $ git rebase -i HEAD~3
in 1 - 3 -- i make some local changes to some files, commit them separately, then push. in 4 - 8 -- someone else pulls my commits, checks out another branch, merges the first one, then tries to squash the commit in the merge.
would this mess up history, is it "bad"?