putting TODOs into github issues