Push GitButler virtual branch to remote
Pushes a GitButler virtual branch to remote for review.
/plugin marketplace add settlemint/agent-marketplace/plugin install crew@settlemint[branch name]git/butler/<butler_context>
!${CLAUDE_PLUGIN_ROOT}/scripts/git/gitbutler-context.sh
</butler_context>
Push a virtual branch to remote, making it a normal Git branch for review.
</objective> <workflow>If GITBUTLER_ACTIVE=false:
GitButler is not initialized. Use regular git push.
Exit if not active.
but branch list
If multiple branches, ask which to push:
AskUserQuestion({
questions: [
{
question: "Which branch to push?",
header: "Branch",
options: branches.map((b) => ({
label: b.name,
description: `${b.commits} commits`,
})),
multiSelect: false,
},
],
});
but push ${branchName}
but branch list
Inform user:
gh pr create or crew:git:pr:createbut publish for GitButler's PR creation<success_criteria>
</success_criteria>
/pushPush local changes to Azure DevOps (like git push). Supports increment, project, or full living docs sync.