New push offer to connect GitHub to claude.ai after a git push

What

• After a git push or pull-request creation, Claude Code can now show a prompt: "Pushed to GitHub. Connect GitHub to claude.ai so you can work on this repo even when this machine is offline?"
• A new internal hook inspects the result of the git operation and decides whether to offer the connection, tracking dismissal state (whether you dismissed it forever, how many times it's been shown, and when) so it doesn't nag repeatedly.
• A companion /web-setup banner appears above the prompt input, which runs the /web-setup slash command when accepted.
• The banner area now coordinates with other UI elements, such as the feedback notice card, that may also want to occupy that space, so only one is shown at a time.
• The whole feature is currently dark-launched, off by default behind an internal flag.

Why This nudges users toward setting up claude.ai's GitHub integration right after a relevant action (pushing code), so they can keep working on a repository from claude.ai even when their local machine is offline, without needing to discover the feature on their own.