HF RL Explorer

shrinkuser does not replace home directory prefix with ~

shrinkuser does not replace home directory prefix with ~: a task in repo2rlenv-swe-smith (Harbor dataset). boltons.pathutils.shrinkuser is supposed to replace the user's home directory prefix in a path with ~ (or a custom token), analogous to the inverse of os.path.expanduser . However, it…

Part of FineEnvs/repo2rlenv-swe-smith.