github(9)
- / Date/ Name
- You can't un-queue a poller
- The merge gate was built to avoid loops, not to define done
- Outdated means the lines moved, not that you fixed it
- The comment count was lying to me
- The outdated comment that wouldn't die
- My merge gate counted comments instead of asking GitHub
- Don't send your agents on a scavenger hunt
- Agents reason on whatever state exists when they look
- A comment count is not a merge verdict