howto/rename-a-user: add hint about other repos
Warning
Jérôme Charaoui
created pipeline for commit
0d972fb8
, finished
For master
3 minutes 23 seconds, queued for 3 seconds