Fix command for checking out PR in CLI documentation

[InAnYan]

Related issues and pull requests

Closes _____

PR Description

Steps to test

Checklist

• I own the copyright of the code submitted and I license it under the MIT license
• [.] I manually tested my changes in running JabRef (always required)
• [.] I added JUnit tests for changes (if applicable)
• [.] I added screenshots in the PR description (if change is visible to the user)
• [.] I added a screenshot in the PR description showing a library with a single entry with me as author and as title the issue number
• [.] I described the change in CHANGELOG.md in a way that can be understood by the average user (if change is visible to the user)
• [.] I checked the user documentation for up to dateness and submitted a pull request to our user documentation repository

[qodo-free-for-open-source-projects]

Review Summary by Qodo

Fix GitHub CLI checkout command syntax in documentation

📝 Documentation

Walkthroughs

Description

• Corrects GitHub CLI command syntax in documentation
• Changes gh checkout pr <number> to gh pr checkout <number>

Diagram

flowchart LR
  A["Incorrect command<br/>gh checkout pr"] -- "corrected to" --> B["Correct command<br/>gh pr checkout"]

Loading

File Changes

1. docs/code-howtos/tools.md 📝 Documentation +1/-1

Fix GitHub CLI checkout command syntax

• Corrected the GitHub CLI command from gh checkout pr <number> to gh pr checkout <number>
• Aligns documentation with the actual GitHub CLI API structure

docs/code-howtos/tools.md

---

[qodo-free-for-open-source-projects]

Code Review by Qodo

🐞 Bugs (0) 📘 Rule violations (0) 📎 Requirement gaps (0)

Great, no issues found!

Qodo reviewed your code and found no material issues that require review

ⓘ The new review experience is currently in Beta. Learn more