Synchronize TODO and GitHub Issues