Compass for GitHub vs Mergify | What are the differences? | StackShare