π€ Improve the rules used by the `Mergify` bot. (#338) 466ed1b unverified alamin655 neon_arch commited on Oct 18, 2023