mongodb/docs — pull request #1408 by bgrabar (2013-11-22 21:09:09+00:00)
Title: assign a user a role

this is redundant with:

https://github.com/mongodb/docs/pull/1372/files

which is closed -- but content is not in master.