関連ワード:  github prune branches    git prune branches    git prune branches not on remote    git prune branches deleted on remote    git prune branches without remote    git prune branches locally    git prune branches no longer on remote    git prune branches from remote    git prune branches not on origin    git prune branches merged