Nits in Contributing doc (#9181)

Commit

235 days ago

Nits in Contributing doc (#9181) * Missing comma * Clarify that `"path"` should be the path to the devtools repo.