exercism / idris

Exercism exercises in Idris.
https://exercism.org/tracks/idris
MIT License
32 stars 18 forks source link

🤖 Add file patterns to config.json #81

Closed ErikSchierboom closed 3 years ago

ErikSchierboom commented 3 years ago

âš  This PR requires you to make a simple change before merging. âš 


To save maintainers from having to manually specify the files key in their exercises' .meta/config.json files, we are providing support for track-level patterns. See this PR for details.

This PR adds (purposefully wrong) file patterns to the config.json file. It is up to you, the track maintainers, to change these patterns to their correct value.

You can use the following placeholders:

We will soon update configlet to enable it to automatically populate the .meta/config.json file's files property, at which point we will then batch-PR updates to all tracks that have merged this PR.

Tracking

https://github.com/exercism/v3-launch/issues/19