Fixing a wrong GitHub repository mapping using GitHub CLI

While working on a personal project, I ran into a workflow issue: My Linear team was mapped to the...