GitHub repository: world-admin/githint-bot.github.io
Description: This checks the properties of a Githint and if it is missing, it will create one.