Dummy repository is used to authenticate github via HTTPS before running automated processes. Please ignore. :)