tiny_ci

Implement a GitHub issue in an isolated worktree, commit, push, and create a PR

Rebase a PR onto master, merge it, and clean up branches/worktrees

Review open PRs and address feedback from tkadauke

Scan GitHub issues and create PRs or comment with questions