G github.blog GitHub: Shorter tool outputs can make coding agents more expensive 2 points lbw1215 2 months ago 0 comments