Consider using a merge bot to make easier pr handling

[jneira]

• With last changes to pr policy we have to watch more closely pr's, to keep them in sync with master, as now it is required to pass checks against HEAD (and that is a good thing)
• There are several merge bots in github but we should choose one that update pr's branches auto:
  • dhall-haskell is using mergify (free for open source projects): https://mergify.io/
    • not sure if it updates pr's branches autoIt does it (including rebases)
  • bulldozer: it update branches for sure: https://github.com/palantir/bulldozer

//cc @alanz @pepeiborra (as you have admin rights to make it possible)

[pepeiborra]

I think you have admin rights now too @jneira

[jneira]

@pepeiborra yeah, a new brand world of options to break things badly 😝
reviewing the project settings i've seen an option similar to the provided one by mergify and friends:

It seems less poweful but integrated directly with github with no further configuration

[pepeiborra]

It's sure worth trying, although it doesn't seem that it's smart enough to keep PRs in sync with master