Testing GitHub Actions Things that can be done: A PR is merged as soon as it is considered mergeable, and the branch is then deleted. If a PR becomes out of date, it will be automatically updated, as long as there are no merge conflicts.