git_archive_repo
Archive a Git repository with final backup push, saving ~375 tokens. Optionally mark as archived on GitHub.
Instructions
Archive a repository with final backup push. Saves ~375 tokens.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | Repository path | |
| archiveOnGitHub | No | Mark as archived on GitHub (default: false) |