ivaldi upload

Push commits to GitHub.

Synopsis

ivaldi upload

Description

Upload the current timeline to GitHub, creating or updating the corresponding branch.

Prerequisites

  1. Portal configured: ivaldi portal add owner/repo
  2. GitHub authentication (token or CLI)

Examples

Basic Upload

ivaldi upload

Complete Workflow

ivaldi portal add username/my-repo
ivaldi gather .
ivaldi seal "Add feature"
ivaldi upload

What Happens

  1. Converts Ivaldi seals to Git commits
  2. Pushes to GitHub repository
  3. Creates/updates branch matching timeline name

Authentication

GitHub Token

export GITHUB_TOKEN="ghp_your_token"
ivaldi upload

GitHub CLI

gh auth login
ivaldi upload

Common Workflows

Daily Workflow

# Make changes
ivaldi gather .
ivaldi seal "Daily progress"
ivaldi upload

Feature Branch

ivaldi timeline create feature-x
# ... work ...
ivaldi gather .
ivaldi seal "Add feature X"
ivaldi upload  # Creates 'feature-x' branch on GitHub

Comparison with Git

Git Ivaldi
git push ivaldi upload
git push -u origin branch ivaldi upload (automatic)

Troubleshooting

No Portal Configured

Error: no GitHub repository configured

Solution:

ivaldi portal add owner/repo

Authentication Failed

Error: GitHub authentication failed

Solution:

export GITHUB_TOKEN="your_token"
# or
gh auth login