Upstream GitHub Linguist recognition for Idriç (.idric)

[isomorphisms]

Goal: get .idric recognized directly by GitHub Linguist as Idriç, with its own language identity/color instead of relying forever on the repository-local *.idric linguist-language=Idris override.

Current state:

• isomorphisms/Idric and dilapidated-shed/icu now use the canonical local override so GitHub.com can apply the Idris grammar today.
• Linguist currently vendors the Idris TextMate grammar from idris-hackers/idris-sublime; that is the natural highlighting baseline for Idriç while the surface languages remain close.
• There is no dedicated upstream Idriç entry yet.

Likely eventual Linguist shape:

Idriç:
  type: programming
  aliases:
  - idric
  extensions:
  - ".idric"
  group: Idris
  tm_scope: source.idris
  ace_mode: text
  # color: choose a distinct Idriç color before submission
  # language_id: generated by Linguist's script/update-ids

A dedicated source.idric TextMate grammar can replace source.idris later if the Unicode/front-end syntax diverges enough to need one.

Upstream contribution constraint: Linguist currently documents a threshold of at least 2,000 indexed files in the last year, excluding forks, for ordinary source extensions expected to appear more than once per repository, with a reasonable distribution across distinct users/repositories. They explicitly say very new or hobby languages below that usage threshold are not accepted. Current .idric usage is still far below that threshold and concentrated in the language repository and early downstream projects.

Therefore:

1. keep the canonical .gitattributes override in every repository containing .idric source;
2. do not manufacture dummy repositories/files to game Linguist's usage requirement;
3. as genuine downstream Idriç use grows, periodically check public GitHub code-search counts and distribution;
4. once the threshold is legitimately met, submit the actual Linguist language PR with representative non-tutorial samples and the required search evidence;
5. use https://github.com/idris-hackers/idris-sublime as the initial grammar source unless a dedicated Idriç grammar exists by then.

Prepared upstream new-language request text:

Language name

Idriç (ASCII alias: Idric)

URL of example repository

https://github.com/isomorphisms/Idric

Downstream example: https://github.com/dilapidated-shed/icu

URL of syntax highlighting grammar

https://github.com/idris-hackers/idris-sublime

Most popular extensions

• .idric

Detected language

Unknown unless the repository forces *.idric linguist-language=Idris in .gitattributes.

The eventual target is direct Idriç recognition with its own language name/color while reusing or deriving from the Idris grammar as appropriate.