Add lines to githubfile.txt