Adding repository as a property in toolinfo.json