A 'minimize-pr' skill for smaller AI coding-agent pull requests · Digg