I wish github would either detect when a branch is merged back into master and automatically close the PR, or allow for some more complex merge operation. Squas

I wish github would either detect when a branch is merged back into master and automatically close the PR, or allow for some more complex merge operation. Squash merge would be particularly helpful.