/github_tools

Some useful github tools, e.g. for duplicating a repository.

Primary LanguagePython

github_tools

duplicate_repository.py

Run this to copy issues (with comments!), milestones and labels from one repo to another.

See the docstring in duplicate_repository.py for usage details.