Skip to content

Conversation

@williamjallen
Copy link
Collaborator

userStatistics.php no longer provides meaningful information which can't otherwise be obtained from git hosting platforms. The underlying logic is also buggy, slow, and in desperate need of a refactor. This PR removes userStatistics.php and all associated information. If there is a need for a similar feature in the future, it can be re-implemented at that time.

Copy link
Member

@josephsnyder josephsnyder left a comment

Choose a reason for hiding this comment

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

LGTM! The page and link are gone, and the important parts of Build.php have been removed,

@williamjallen williamjallen force-pushed the delete-user-statistics branch from 859cfa5 to 7c33d88 Compare April 15, 2025 12:41
@williamjallen williamjallen enabled auto-merge April 15, 2025 12:42
@williamjallen williamjallen added this pull request to the merge queue Apr 15, 2025
Merged via the queue into Kitware:master with commit 0b3a1d0 Apr 15, 2025
7 checks passed
@williamjallen williamjallen deleted the delete-user-statistics branch April 15, 2025 13:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants