Commands

A band above the prompt: session and last-message cost, plus git branch, status, CI, pull and push (push commits any uncommitted changes first, with a generated message)