mirror of
https://github.com/apple/pkl.git
synced 2026-01-13 23:23:37 +01:00
Cannot search GitHub for “language:pkl” #216
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @odenix on GitHub (Oct 13, 2024).
The following search query fails with “unknown language: Pkl”:
repo:apple/pkl language:PklThe following search query works and finds
.pklfiles:repo:apple/pkl language:PickleNot sure what’s going on here, but something is off.
@bioball commented on GitHub (Oct 13, 2024):
Yeah, I'm not really sure; seems like GitHub is a little bugged.
The languages panel correctly identifies Pkl as one of the languages here:
Also, nice to hear from you again!
@odenix commented on GitHub (Oct 14, 2024):
Clicking “Pkl 5.7%” is how I discovered this problem.
Thanks! Time to give the Windows support a try.
@HT154 commented on GitHub (Oct 15, 2024):
It looks like this is expected (for now) behavior. From https://github.com/github-linguist/linguist/blob/main/docs/troubleshooting.md:
@bioball commented on GitHub (Oct 18, 2024):
Good find! Closing this issue, as it's expected for now, and also there's not much for us to do here.