Did a quick Pi extension that gives me /push. It synthesizes a user message, “Please push this worktree to GitHub main,” and synthesizes a Git Bash tool call for it. Then it lets Pi run that and gives the result back to the model.↗·@lucasmeijer·Apr 21, 2026·workflow·git-bash·github-push·pi-extension·worktree