Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Zeek renaming: GitHub language name and highlighting #238
We'd likely want to look at how to change the language name to Zeek on GitHub and also support a new filename extension (#237).
I haven't looked into how that stuff works yet, but seems to be the linguist stuff here: https://github.com/github/linguist/blob/master/lib/linguist/languages.yml