New GitHub tools for open source maintainers: minimized comments, popular repository namespace retirement, and accidental and “drive-through” pull request prevention.
New GitHub tools for open source maintainers: minimized comments, popular repository namespace retirement, and accidental and “drive-through” pull request prevention.