Bug FixesGitHub.com and future GHES will not automatically close pull requests when the head branch is deleted. Mergify does it itself now.