php/web-gcov
1
0
Fork 0
mirror of https://github.com/php/web-gcov.git synced 2026-03-24 09:12:15 +01:00
Code Issues 11 Packages Projects Releases Wiki Activity

[PR #2] Remove unused Git attributes ident #7

New Issue
Open
opened 2026-01-24 11:41:24 +01:00 by admin · 0 comments
admin commented 2026-01-24 11:41:24 +01:00
Owner
Copy Link

Original Pull Request: https://github.com/php/web-gcov/pull/2

State: closed
Merged: No

Hello,

The $Id$ keywords were used in Subversion where they can be substituted with filename, last revision number change, last changed date, and last user who changed it.

In Git this functionality is different and can be done with Git attribute ident. These need to be defined manually for each file in the .gitattributes file and are afterwards replaced with 40-character hexadecimal blob object name which is based only on the particular file contents.

This patch simplifies handling of $Id$ keywords by removing them since they are not used anymore.

Thanks for someone maybe checking this out or merging it...

The patch for the bundled jpgraph PHP library is sent in the referenced pull request below (since it might be developed separately elsewhere and for convenience).

**Original Pull Request:** https://github.com/php/web-gcov/pull/2 **State:** closed **Merged:** No --- Hello, The `$Id$` keywords were used in Subversion where they can be substituted with filename, last revision number change, last changed date, and last user who changed it. In Git this functionality is different and can be done with Git attribute ident. These need to be defined manually for each file in the `.gitattributes` file and are afterwards replaced with 40-character hexadecimal blob object name which is based only on the particular file contents. This patch simplifies handling of `$Id$` keywords by removing them since they are not used anymore. Thanks for someone maybe checking this out or merging it... The patch for the bundled jpgraph PHP library is sent in the referenced pull request below (since it might be developed separately elsewhere and for convenience).
admin added the pull-request label 2026-01-24 11:41:24 +01:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
pull-request
Mirrored from GitHub Pull Request
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
admin
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: php/web-gcov#7
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?