ivaldi portal

Manage GitHub repository connections.

Synopsis

ivaldi portal add <owner/repo>
ivaldi portal list
ivaldi portal remove <owner/repo>

Description

Portals represent connections to GitHub repositories for remote operations.

Subcommands

add

Add a GitHub repository connection:

ivaldi portal add owner/repo

Example:

ivaldi portal add javanhut/my-project

list

List all configured portals:

ivaldi portal list

remove

Remove a portal:

ivaldi portal remove owner/repo

Authentication

Portals require GitHub authentication:

Option 1: GitHub Token

export GITHUB_TOKEN="your_token_here"

Option 2: GitHub CLI

gh auth login

Examples

Connect to Repository

ivaldi portal add myusername/my-project
ivaldi upload

List Connections

$ ivaldi portal list

Configured portals:
  javanhut/IvaldiVCS
  myusername/my-project

Remove Connection

ivaldi portal remove old-username/old-project

Common Workflows

Initial Setup

ivaldi forge
ivaldi gather .
ivaldi seal "Initial commit"
ivaldi portal add username/repo
ivaldi upload

Multiple Remotes

ivaldi portal add upstream/original
ivaldi portal add myusername/fork
ivaldi upload  # Pushes to first portal

Comparison with Git

Git Ivaldi
git remote add origin url ivaldi portal add owner/repo
git remote -v ivaldi portal list
git remote remove ivaldi portal remove

Notes