As for squashing, it depends, if this branch was part of the main repo, then yes, I wouldn't squash, but it's a PR that all of three people have seen and it's sometimes nicer to keep things a little cleaner.