Removed post.txt from the list of files that will have its github urls replaced with git mirror urls.
