Ask HN: Do you give AI coding agents their own GitHub account?