Re: [windup-dev] New rule when merging PRs - Close the issue!