Should we extensively use pushd_popd instead of try ... catch ... finally os.chdir() pattern? #1017
Description
> Should we extensively use pushd_popd instead of try ... catch ... finally os.chdir() pattern?
Not without adapting pushd_popd first. However, I don't want to mess with that to not break something else.
Originally posted by @MehmedGIT in #987 (comment)