"""Filesystem utils"""importosdefstrip_prefix(string,prefix):"""Returns a string, stripped from its prefix"""ifstring.startswith(prefix):returnstring[len(prefix):]else:returnstringdefremove_file(repo,dst):"""Removes a file from a repository"""repo.index.remove(dst)os.remove(dst)