GitHub Repository Labels

To avoid end up with hundreds of Labels, only the defined here are valid:

Happy Copy & Pasting ☺️

Global Labels