Remove unnecessary warning suppression

[mernst]

Merge with typetools/checker-framework#7747

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Pro

Run ID: ebc1ddaf-a4e8-4677-9756-9310cf28ae84

📥 Commits

Reviewing files that changed from the base of the PR and between 2ae10bd and 30e2406.

📒 Files selected for processing (1)

• src/main/java/org/plumelib/multiversioncontrol/MultiVersionControl.java

💤 Files with no reviewable changes (1)

• src/main/java/org/plumelib/multiversioncontrol/MultiVersionControl.java

---

📝 Walkthrough

Walkthrough

This PR updates the perform_command method in MultiVersionControl.java to add Checker Framework type annotations. The change converts the command list from pb.command() to a typed String[] array using toArray(new String[0]) and applies a @MinLen(1) annotation to enforce that the array contains at least one element. This replaces a prior local nullness suppression comment, tightening the type safety guarantees while preserving the existing command execution flow where args[0] is used as the executable.

🚥 Pre-merge checks | ✅ 3

✅ Passed checks (3 passed)

Check name	Status	Explanation
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}