Re: Automating PR merges proposal