

def _write_registry_url(self, url):
    with open(os.path.join(MainSettings.ROOT, '.registry_info'), 'w+') as registry_file:
        registry_file.write('{}\n'.format(url))

dataset/ETHPy150Open binder-project/binder/binder/cluster.py KubernetesManager._write_registry_url/original