I would like to label each incoming message based on the List-ID header. I want this label to be generated dynamically as needed because of the volume of lists to which I am subscribed as well as the number of Github projects I follow which also populate the same List-ID header with the source repository.
For example, an ideal filter would match
'from:(notifications@github.com)'and then apply the label
'GH/Repos/${Header:List-ID}'