I'm suggesting we use a bot to merge pull request automatically, this will ensure the project is up to date and definitely saves the Authors time.