remove github-todos since it seems to be buggy as shit