Add support for Agda - Githubissues

alstr / todo-to-issue-action

Action that converts TODO comments to GitHub issues on push.

MIT License

603 stars 115 forks source link

Closed pufferffish closed 4 months ago

alstr commented 11 months ago

Thanks for the contribution; would you be able to add a couple of tests in the style of the existing languages?

alstr commented 4 months ago

Closing as it's been a while now, but happy to revist this if you are able to add the tests.