Thomas Gummerer 08818aee06 ci: remove unnecessary TODO (#15310) ... This TODO has been there since this 6ef7ef64d6 was merged to the main branch, but the flag was always true, and the comment also tells us to set it to true. Setting it to true is still the right thing, so let's just get rid of the confusing comment. Just a minor cleanup I noticed while working on some CI stuff.		2024-01-30 12:13:22 +00:00
..
scripts	Move .version to /sdk and embed it (#15185)	2024-01-19 14:11:17 +00:00
workflows	ci: remove unnecessary TODO (#15310)	2024-01-30 12:13:22 +00:00
PULL_REQUEST_TEMPLATE.md	Add routine checks to pull request template	2023-05-12 13:34:19 -07:00