summaryrefslogtreecommitdiff
path: root/src/tools/git-external-diff
diff options
context:
space:
mode:
authorTom Lane <tgl@sss.pgh.pa.us>2015-10-07 16:12:06 -0400
committerTom Lane <tgl@sss.pgh.pa.us>2015-10-07 16:12:06 -0400
commit539510582bc7bfd18c08fa5292e8061ddda68a33 (patch)
tree3243936b9c37314c79d8a482ac19cc1b6eb5aaa2 /src/tools/git-external-diff
parent3d10f39709941f5562adf3d0fc4d61f91fac5ff5 (diff)
Improve documentation of the role-dropping process.
In general one may have to run both REASSIGN OWNED and DROP OWNED to get rid of all the dependencies of a role to be dropped. This was alluded to in the REASSIGN OWNED man page, but not really spelled out in full; and in any case the procedure ought to be documented in a more prominent place than that. Add a section to the "Database Roles" chapter explaining this, and do a bit of wordsmithing in the relevant commands' man pages.
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions