Add GitHub CLI to devcontainer with persistent auth#47

RaoulSchaffranek merged 2 commits into

mainruntimeverification/komet-node:mainfrom

add-gh-cli-devcontainerruntimeverification/komet-node:add-gh-cli-devcontainerCopy head branch name to clipboard