Results for github_repo_deleter

Bulk-delete Github repos from the terminal

Reversible futures::Stream-based state machines

Unofficial Rust SDK for the Notra API

OpenAPI specs from https://github.com/github/rest-api-description with the 'x-octokit' extension required by the Octokit SDKs

Human-first Git client. Simpler commands, a TUI, snapshots, multi-platform mirrors, secret scanning, OAuth, GPG, CI runners, self-hosted platform registry.

Unified TUI search over local coding agent histories

A highly parallel Perl 5 interpreter written in Rust

GitHub MCP Server — repositories, files, branches, issues, PRs, diffs, reviews, and releases for ADK-Rust Enterprise agents

Deploy repos to Cloud Agent VMs for AI coding agents

Multi-forge repository management

Cross-platform deployment monitoring CLI

Core library for Pulsos deployment monitoring

Since you can't delete GitHub repos via the API, you have to pretend to be a web browser. This is probably very fragile and could stop working at any time.