V: Looks like a pull request needs to be made to github/linguist.

[zac-garby]

https://github.com/github/linguist

So GitHub can recognize the V file type.

[ntrel]

Thanks, I didn't know about that. But how would linguist recognise V files versus Verilog .v files?

[HedariKun]

maybe change the extension name?. it won't hurt naming it something, like .vl and, .vlh for vlang and, vlang header.

[Bowero]

.v is being used for Verilog, but also for Coq. It looks like Linguist accepts the same extension for multiple formats.

[1l0]

Linguist reads some parts of code to judge the lang. It's ok to be the same ext name to others.