o Update git repo name in docs. Closes: #3417