Closed GabeMillikan closed 1 year ago
https://discord.com/channels/238956364729155585/1040360228388098159/1139452667207352320
If we're going to have to update this code every time they commit a change to the github repository, then we might as well just update the languages manually.
Ideally, we should merge #222 instead. This PR remains open just because #222 requires us to create an API key, which may or may not be acceptable.
Closed because #222 got merged.
https://discord.com/channels/238956364729155585/1040360228388098159/1139452667207352320
If we're going to have to update this code every time they commit a change to the github repository, then we might as well just update the languages manually.