Mining Software Respositories To run the scripts you must to create a file named "key.txt". This file must contain just a valid Github token (e.g., ghp_jsd7ji...).