github-management Scripts for bulk updating repository metadata via the GitHub API and managing local git configurations.