Consider avoiding terms "partition" and "partitioned" in docs for inheritence-based partitioning

git remote add commitfest https://github.com/postgresql-cfbot/postgresql.git
git fetch commitfest cf/1663
git checkout commitfest/cf/1663

Should we add GUCs to allow partition pruning to be disabled? ×

First at 2018-04-18 00:07:18 by David Rowley <david.rowley at 2ndquadrant.com>
Latest at 2019-04-12 02:24:28 by Justin Pryzby <pryzby at telsasoft.com>
Latest attachment (v1-0001-Reinstate-warnings-regarding-large-heirarchies.patch) at 2019-04-11 05:40:54 from Justin Pryzby <pryzby at telsasoft.com>

    Attachment (v1-0001-Reinstate-warnings-regarding-large-heirarchies.patch) at 2019-04-11 05:40:54 from Justin Pryzby <pryzby at telsasoft.com> (Patch: Yes)
    Attachment (docs_partitioning_warning_master.patch) at 2019-04-11 03:34:30 from David Rowley <david.rowley at 2ndquadrant.com> (Patch: Yes)
    Attachment (docs_partitioning_warning.patch) at 2019-03-12 23:28:31 from David Rowley <david.rowley at 2ndquadrant.com> (Patch: Yes)
    Attachment (v0-doc-fix-partitioning-round3) at 2018-06-01 21:33:00 from Justin Pryzby <pryzby at telsasoft.com> (Patch: Yes)
    Attachment (v2-doc-fix-partitioning-round2) at 2018-05-24 05:19:15 from Justin Pryzby <pryzby at telsasoft.com> (Patch: Yes)
    Attachment (doc-fix-partitioning-round2) at 2018-05-23 23:31:37 from Justin Pryzby <pryzby at telsasoft.com> (Patch: Yes)
    Attachment (ddl-partitioning.html) at 2018-05-10 19:45:12 from Alvaro Herrera <alvherre at 2ndquadrant.com> (Patch: No)
    Attachment (further_enable_partition_pruning_doc_updates_v4.patch) at 2018-05-10 02:01:55 from Alvaro Herrera <alvherre at 2ndquadrant.com> (Patch: Yes)
    Attachment (further_enable_partition_pruning_doc_updates_v4.patch) at 2018-05-09 08:23:23 from Amit Langote <Langote_Amit_f8 at lab.ntt.co.jp> (Patch: Yes)
    Attachment (further_enable_partition_pruning_doc_updates_v3.patch) at 2018-05-09 02:59:15 from David Rowley <david.rowley at 2ndquadrant.com> (Patch: Yes)
    Attachment (further_enable_partition_pruning_doc_updates_v2.patch) at 2018-05-07 06:00:59 from David Rowley <david.rowley at 2ndquadrant.com> (Patch: Yes)
    Attachment (further_enable_partition_pruning_doc_updates.patch) at 2018-04-26 07:29:37 from David Rowley <david.rowley at 2ndquadrant.com> (Patch: Yes)
    Attachment (v2-0001-Add-GUC-to-allow-partition-pruning-to-be-disabled.patch) at 2018-04-21 05:09:29 from David Rowley <david.rowley at 2ndquadrant.com> (Patch: Yes)
    Attachment (0001-Add-GUC-to-allow-partition-pruning-to-be-disabled.patch) at 2018-04-20 05:47:50 from David Rowley <david.rowley at 2ndquadrant.com> (Patch: Yes)