Documentation ¶ Overview ¶ Package main is a trivial Go program used as the github-push workspace. The agent adds GREETING.md, commits, pushes, and attempts a PR (expected to fail on the read-only demo grant). Source Files ¶ View all Source files main.go Click to show internal directories. Click to hide internal directories.