Automatically grant "Core Performance Contributor" badge based on GitHub contributions

[flixos90]

The "Core Performance Contributor" badge was recently introduced to acknowledge contributions to the WordPress performance team. Assignments for this badge are currently manually controlled, but it would be great to have some automation for it in addition.

Specifically, the proposed flow is the following: Whenever a GitHub user that has their wordpress.org account connected to their GitHub account contributes to the ​https://github.com/WordPress/performance with code (PR or commit), the wordpress.org user should automatically receive the "Core Performance Contributor" badge on their profile.

How exactly to implement this is flexible, it would also be great to credit contributors that file issues, to not only focus on code contributions. If that is more complex though, it could also happen in a follow-up effort.

[chaion07]

This can be a great addition towards the direction where WordPress is heading as a Open-Source platform. With so many automation and new features being added to the WP Org profile in the past few days, this automation with GitHub fits just right with the current timeline and vision. I am seconding with @flixos90 completely with this request. However, the right course of action can certainly enhance the delivery process for which us as a community would need to share ideas and the know-how to be actually finally decide on a viable option.

[dd32]

This would also be of benefit to other WordPress.org 'meta' repo's, such as Learn, News, Pattern Directory, etc which should automatically grant the Meta Contributor badge.

It would also be beneficial if we could assign xyz Team based on GitHub teams, not exclusively managed via it, but rather, as an additional automatic badge-assignment rather than purely manual assignments. For some teams (Such as performance) this might not make sense, but for others (Meta) it would.