github-cli extension allowing to manage multiple github repositories at once.
