Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .php-version
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
8.4.18
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Potential issue | 🟡 Minor

Consider removing .php-version from the repository.

This file is typically generated per-project by the pvm init or pvm use commands. Committing it to the version manager's own repository may:

  1. Confuse users who clone the repo, as pvm might try to use PHP 8.4.18 when working on the tool itself.
  2. Create merge conflicts if developers have different local PHP versions.

Consider adding .php-version to .gitignore instead, or document why it's intentionally included.

🤖 Prompt for AI Agents
Verify each finding against the current code and only fix it if needed.

In @.php-version at line 1, The repository includes a committed .php-version
file which is machine-specific and can confuse contributors or cause merge
conflicts; remove the tracked .php-version from the repo (git rm --cached
.php-version or delete and commit), add ".php-version" to .gitignore to prevent
re-committing, and if keeping it intentionally, add a short note in the project
README explaining why this specific PHP version is required; reference the
.php-version file when making these changes.

Loading