Required conditions for merge:

• #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • #807
• #approved-reviews-by>=1
  • #807
• #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • #807
• -label~=(do-not-merge)
  • #807
• status-success=build
• any of [🛡 GitHub branch protection]:
  • check-success = build
  • check-neutral = build
  • check-skipped = build

Check-runs and statuses of the embarked pull request #807:

		self-mutation	details
		Validate PR title	details
		approve	details
		build	details