Miroslav Suchý wrote:
I am curious whether we can move our repo files from
Please, no. Sysadmins don't like having to change their habits, scripts
and documents for no benefit because somebody renamed something just for
the sake of renaming. Pointless changes cost time and money that could
have been spent doing useful work instead.