#Pull-Requests

5 posts tagged with #Pull-Requests

← All tags
software-engineering · · 12 min

An Issues Tab Is Not a Laravel Package Ticket

GitHub Issues are off on most Laravel packages. The ticket is a pull request that documents the bug, with a named owner. laravel/framework Issues stay on.

backend-infrastructure · · 11 min

Leave Copilot Approve Off

GitHub now prints a ready-to-approve assessment on every Copilot review. That line is a note. The admin switch that turns it into a required approval is off by default. Keep it off.

software-engineering · · 11 min

Five Things I Refused This Week

A ranked cheat-sheet of five desk rules from this week: who pins the model, what .gitignore does not lock, who merges, who retries, and who still reads the diff.

ai-agents · · 13 min

I Do Not Let a Coding Agent Pick Its Own Model

The agent that writes the diff does not choose the model for that pull request. A named human pins the model before the session starts. Auto is a vendor default, not an owner.

developer-tools · · 12 min

I Do Not Give a Coding Agent Merge Rights

A coding agent may open the pull request. A named human still owns the merge click. Treat GitHub agent merge and auto-merge as opt-in shortcuts, never as the default.