Add convert_revision_file.php to gitignore as likely filename
Github API now requires a User-agent to be sent