def do_upgrade(env, version, cursor):
    repository_dir = env.config.get('trac', 'repository_dir')
    if repository_dir:
        backup_config_file(env, '.db31.bak')
        if not env.config.get('repositories', '.dir') and \
                not env.config.get('repositories', '.alias'):
            env.config.set('repositories', '.dir', repository_dir)
            env.log.info("Moved configuration options for default repository "
                         "to [repositories] section of trac.ini")
        else:
            env.log.info("[trac] repository_dir = %s discarded from "
                         "configuration because [repositories] "
                         "'.dir' or '.alias' already exists.", repository_dir)
        env.config.remove('trac', 'repository_dir')
        env.config.save()
Move definition of default repository from [trac] repository_dir to
dataset/ETHPy150Open edgewall/trac/trac/upgrades/db31.py/do_upgrade