TODO-to-issue GitHub Action in cslib

Stream: computer science

[Fabrizio Montesi]

Recently noticed this:
https://github.com/marketplace/actions/todo-to-issue

Would it be a reasonable way to handle issues from TODOs in code? We'd just need to add Lean as a supported language (looks simple, can be given as a parameter).