3 commits

Author	SHA1	Message	Date
Martijn Pieters	83aaa76141	Include auto-merge information in gh pr status (#7386) ... PRs that have auto-merge enabled are marked with a green "✓ Auto-merge enabled" label.	2023-05-10 08:32:05 +12:00
Ariel Deitcher	577d42280c	surface merge conflicts in pr status (#5999)	2022-10-03 09:32:48 +00:00
Sam Coe	539b150833	Extract feature detection package (#5494)	2022-05-17 19:07:44 +00:00