Move the jenkins-stats repositories to the jenkins-infra organization

[gounthar]

Service(s)

Other

Summary

@jmMeessen has developed a set of tools to provide the community with insights into its contributors. Now that these tools have proven effective and stable, we would like them to become part of the jenkins-infra organization.

The repositories for these tools are:

jenkins-top-submitters
jenkins-submitter-stats
The corresponding Homebrew tap can be found at jmMeessen/homebrew-tap.

The statistics, including scripts and data, are stored at jmMeessen/jenkins-stats.

What are the prerequisites for moving these repositories, including their issues, into the jenkins-infra organization?

Thank you for your assistance.

Reproduction steps

No response

[jmMeessen]

Little correction/additional info to the above:

• the main stats extraction application (bash based) is living in jenkins-submitter-stats. The monthly extracted data (jenkins and benchmarked projects) is stored in the same GitHub repository.
• Ad-hoc tooling, used by the above process, is living in jmMeessen/jenkins-stats and jenkins-top-submitters. These tools are distributed via a homebrew "repository" located at jmMeessen/homebrew-tap.

These four Git repositories should be migrated to the jenkins-infra organisation as stated by @gounthar . Additionally, a (dedicated ?) GitHub app is needed to update homebrew-tap (part of a GitHub Action based CD process).

[gounthar]

Only one week to go (hopefully) before the repos get migrated. 🤗
Thanks, folks! 🚀