Add topological merge bot #105
Hi Jorn, thanks for the contribution!
Just a quick suggestion after a brief look - how about moving
@JornVernee This change can now be integrated. The commit message will be:
Since the source branch of this PR was last updated there have been 4 commits pushed to the
Since there are no conflicts, your changes will automatically be rebased on top of the above commits when integrating. If you prefer to do this manually, please merge