This repository was archived by the owner on Jan 23, 2026. It is now read-only.
Add GitHub issue management tools for repository maintenance #628
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR introduces a comprehensive set of tools for managing GitHub issues in the jumpstarter repository, enabling maintainers to efficiently add labels, set issue types, and perform other issue management tasks.
Problem
The repository lacked tooling for systematic GitHub issue management, making it difficult to consistently label issues and set appropriate types. This became apparent when needing to add the 'bug' label and set the type to 'bug' for issue #626.
Solution
Added a new
scripts/directory with a complete GitHub issue management toolkit:Core Tools
github_issue_manager.py- Python script using GitHub API for issue managementmanage_issue.sh- Convenient shell wrapper for common operationsREADME.md- Comprehensive documentation with usage examplesUsage Examples
Features
GITHUB_TOKENorGH_TOKEN)type:*labels (removes old type labels when setting new ones)Testing & Quality
Documentation
Authentication Setup
Users need a GitHub API token with repository access:
Benefits
This toolset immediately addresses the need to manage issue #626 while providing a permanent solution for ongoing repository maintenance.
✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.