Rename workspace

Renames a local Git workspace while preserving its history.

This entry documents the installed built-in behavior and does not advertise third-party extension capabilities.