def split_number_and_unit(s):
    if not s:
        raise ValueError('empty value')
    s = s.strip()
    pos = len(s)
    while pos and not s[pos-1].isdigit():
        pos -= 1
    number = int(s[:pos])
    unit = s[pos:].strip()
    return (number, unit)
Remove this submodule from the repository. This will remove our entry
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/split_number_and_unit--crossover with--dataset/ETHPy150Open gitpython-developers/GitPython/git/objects/submodule/base.py/Submodule.remove