The merge button doesn't squash commits or anything. Pulley looks like a nice way to use a custom workflow with Pull Requests.