[PR #2] [CLOSED] Remove unused Git attributes ident #3

New Issue

admin · 2026-01-24T11:41:24+01:00

admin commented

2026-01-24 11:41:24 +01:00

📋 Pull Request Information

Original PR: https://github.com/php/web-gcov/pull/2
Author: @petk
Created: 7/2/2018
Status: ❌ Closed

Base: master ← Head: patch-git-idents

📝 Commits (1)

e512e4d Remove unused Git attributes ident

📊 Changes

26 files changed (+0 additions, -52 deletions)

View changed files

📝 cron/check_parameters.php (+0 -2)
📝 cron/compile_results.php (+0 -2)
📝 cron/config.php (+0 -2)
📝 cron/cron.php (+0 -2)
📝 cron/cron.sh (+0 -2)
📝 cron/database.php (+0 -2)
📝 cron/find_tested.php (+0 -2)
📝 cron/graph.php (+0 -2)
📝 cron/system.php (+0 -2)
📝 cron/tests.php (+0 -2)
📝 www/compile_results.php (+0 -2)
📝 www/config.php (+0 -2)
📝 www/expected_tests.php (+0 -2)
📝 www/graph.php (+0 -2)
📝 www/index.php (+0 -2)
📝 www/lcov.php (+0 -2)
📝 www/params.php (+0 -2)
📝 www/site.api.php (+0 -2)
📝 www/skip.php (+0 -2)
📝 www/stats.php (+0 -2)

...and 6 more files

📄 Description

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).

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/php/web-gcov/pull/2 **Author:** [@petk](https://github.com/petk) **Created:** 7/2/2018 **Status:** ❌ Closed **Base:** `master` ← **Head:** `patch-git-idents` --- ### 📝 Commits (1) - [`e512e4d`](https://github.com/php/web-gcov/commit/e512e4d2e46f971ccb59ca2d2962b49955ed7046) Remove unused Git attributes ident ### 📊 Changes **26 files changed** (+0 additions, -52 deletions) <details> <summary>View changed files</summary> 📝 `cron/check_parameters.php` (+0 -2) 📝 `cron/compile_results.php` (+0 -2) 📝 `cron/config.php` (+0 -2) 📝 `cron/cron.php` (+0 -2) 📝 `cron/cron.sh` (+0 -2) 📝 `cron/database.php` (+0 -2) 📝 `cron/find_tested.php` (+0 -2) 📝 `cron/graph.php` (+0 -2) 📝 `cron/system.php` (+0 -2) 📝 `cron/tests.php` (+0 -2) 📝 `www/compile_results.php` (+0 -2) 📝 `www/config.php` (+0 -2) 📝 `www/expected_tests.php` (+0 -2) 📝 `www/graph.php` (+0 -2) 📝 `www/index.php` (+0 -2) 📝 `www/lcov.php` (+0 -2) 📝 `www/params.php` (+0 -2) 📝 `www/site.api.php` (+0 -2) 📝 `www/skip.php` (+0 -2) 📝 `www/stats.php` (+0 -2) _...and 6 more files_ </details> ### 📄 Description 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). --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

admin added the pull-request label 2026-01-24 11:41:24 +01:00

admin referenced this issue

2026-01-24 11:41:24 +01:00

[PR #3] [CLOSED] Remove unused Git attributes identi in jpgraph #4

admin referenced this issue

2026-01-24 11:41:24 +01:00

[PR #3] Remove unused Git attributes identi in jpgraph #8

Sign in to join this conversation.