関連ワード:  github desktop prune branches    github desktop prune local branches    github desktop remove branch    github desktop remove local branches not on remote    github desktop remove deleted branches    github desktop remove old branches    github desktop remove local branches    github prune branches    github prune local branches