How to Efficiently Merge Pull Requests using Mergify?🧑‍💻