Add ids to various docbook elements to allow creating stable links to the HTML documentation

Edit
ID 4041
Title Add ids to various docbook elements to allow creating stable links to the HTML documentation
Topic Documentation
Created 2022-12-06 18:21:29
Last modified 2023-04-06 14:20:44 (1 year, 7 months ago)
Latest email 2023-04-14 17:41:23 (1 year, 7 months ago)
Status
2023-01: Committed
Target version 16
Authors Brar Piening (brar)
Reviewers Karl Pinc (kop)Become reviewer
Committer Tom Lane (tgl)
Links CFbot results (CirrusCI) CFbot GitHub
Checkout latest CFbot patchset Go to your local checkout of the PostgreSQL repository and run:
git remote add commitfest https://github.com/postgresql-cfbot/postgresql.git
git fetch commitfest cf/4041
git checkout commitfest/cf/4041
Emails
doc: add missing "id" attributes to extension packaging page
First at 2022-12-05 01:50:16 by Ian Lawrence Barwick <barwick at gmail.com>
Latest at 2023-04-14 17:41:23 by "Karl O. Pinc" <kop at karlpinc.com>
Latest attachment (002-add-discoverable-id-style_v1.pgweb.patch) at 2023-04-06 14:19:30 from Brar Piening <brar at gmx.de>
    Attachment (002-add-discoverable-id-style_v1.pgweb.patch) at 2023-04-06 14:19:30 from Brar Piening <brar at gmx.de> (Patch: Yes)
    Attachment (001-add-needed-ids_v4.postgresql.patch) at 2023-03-29 16:03:48 from Brar Piening <brar at gmx.de> (Patch: Yes)
    Attachment (001-add-needed-ids_v3.postgresql.patch) at 2023-03-27 17:05:52 from Brar Piening <brar at gmx.de> (Patch: Yes)
    Attachment (001-add-needed-ids_v2.postgresql.patch) at 2023-03-23 19:08:52 from Brar Piening <brar at gmx.de> (Patch: Yes)
    Attachment (with_mouseover.png) at 2023-03-23 13:02:07 from "Karl O. Pinc" <kop at karlpinc.com> (Patch: No)
    Attachment (001-add-needed-ids_v1.patch) at 2023-03-23 03:09:19 from "Karl O. Pinc" <kop at karlpinc.com> (Patch: Yes)
    Attachment (make_html_ids_discoverable_v3.patch) at 2023-03-21 22:16:25 from Brar Piening <brar at gmx.de> (Patch: Yes)
    Attachment (example_section_heading_overrride.patch) at 2023-01-17 22:43:13 from "Karl O. Pinc" <kop at karlpinc.com> (Patch: Yes)
    Attachment (make_html_ids_discoverable.patch) at 2023-01-10 06:08:08 from Brar Piening <brar at gmx.de> (Patch: Yes)
    Attachment (add_html_ids_v3.patch) at 2023-01-09 07:09:02 from Brar Piening <brar at gmx.de> (Patch: Yes)
    Attachment (add_html_ids_v2.patch) at 2023-01-02 20:53:54 from "Karl O. Pinc" <kop at karlpinc.com> (Patch: Yes)
    Attachment (make_html_ids_discoverable.patch) at 2022-12-06 18:16:51 from Brar Piening <brar at gmx.de> (Patch: Yes)
    Attachment (add_html_ids.patch) at 2022-12-06 18:11:57 from Brar Piening <brar at gmx.de> (Patch: Yes)
    Attachment (v1-0001-doc-add-id-attributes-to-extension-documentation.patch) at 2022-12-05 01:50:16 from Ian Lawrence Barwick <barwick at gmail.com> (Patch: Yes)
History
When Who What
2023-04-06 14:20:44 Brar Piening (brar) Deleted annotation "Latest patch to add missing ids (missing ids break the build after the discoverable id patch i s applied)" from dc813a6f-60d9-991f-eecd-675a0921de11@gmx.de
2023-04-06 14:20:40 Brar Piening (brar) Deleted annotation "Latest discoverable id patches for postgresql and pgweb." from a41ed60d-2f95-da52-ba8b-b0b1cc37f3a4@gmx.de
2023-03-29 16:17:08 Brar Piening (brar) Added annotation "Latest patch to add missing ids (missing ids break the build after the discoverable id patch i s applied)" to dc813a6f-60d9-991f-eecd-675a0921de11@gmx.de
2023-03-29 16:14:08 Brar Piening (brar) Added annotation "Latest discoverable id patches for postgresql and pgweb." to a41ed60d-2f95-da52-ba8b-b0b1cc37f3a4@gmx.de
2023-01-10 04:49:02 Brar Piening (brar) Deleted annotation "Patch for https://commitfest.postgresql.org/41/4042/ (Create visible links for HTML elements that have an id to make them discoverable via the web interface)" from d6695820-af71-5e84-58b0-ff9f1c189603@gmx.de
2023-01-10 04:48:56 Brar Piening (brar) Deleted annotation "Patch for https://commitfest.postgresql.org/41/4041/ (Add ids to various docbook elements to allow creating stable links to the HTML documentation)" from c9f722b0-da6d-3d37-2c0e-c7b0157a64f0@gmx.de
2023-01-09 20:16:01 Tom Lane (tgl) Closed in commitfest 2023-01 with status: Committed
2023-01-09 20:16:01 Tom Lane (tgl) Changed committer to tgl
2023-01-09 09:24:56 Brar Piening (brar) Added annotation "Patch for https://commitfest.postgresql.org/41/4042/ (Create visible links for HTML elements that have an id to make them discoverable via the web interface)" to d6695820-af71-5e84-58b0-ff9f1c189603@gmx.de
2023-01-09 09:22:59 Brar Piening (brar) Deleted annotation "Patch for https://commitfest.postgresql.org/41/4041/ (Add ids to various docbook elements to allow creating stable links to the HTML documentation)" from c9f722b0-da6d-3d37-2c0e-c7b0157a64f0@gmx.de
2023-01-09 09:22:25 Brar Piening (brar) Added annotation "Patch for https://commitfest.postgresql.org/41/4041/ (Add ids to various docbook elements to allow creating stable links to the HTML documentation)" to c9f722b0-da6d-3d37-2c0e-c7b0157a64f0@gmx.de
2023-01-09 09:20:11 Brar Piening (brar) Deleted annotation "Patch for https://commitfest.postgresql.org/41/4042/ (Create visible links for HTML elements that have an id to make them discoverable via the web interface)" from d6695820-af71-5e84-58b0-ff9f1c189603@gmx.de
2023-01-09 09:19:55 Brar Piening (brar) Added annotation "Patch for https://commitfest.postgresql.org/41/4041/ (Add ids to various docbook elements to allow creating stable links to the HTML documentation)" to c9f722b0-da6d-3d37-2c0e-c7b0157a64f0@gmx.de
2023-01-09 09:19:32 Brar Piening (brar) Deleted annotation "Patch for https://commitfest.postgresql.org/41/4041/ (Add ids to various docbook elements to allow creating stable links to the HTML documentation)" from bec54d08-edca-863e-d211-93bcf6b3a1df@gmx.de
2023-01-03 22:22:58 Karl Pinc (kop) New status: Ready for Committer
2023-01-02 21:08:36 Karl Pinc (kop) New status: Waiting on Author
2023-01-02 18:32:42 Karl Pinc (kop) Added kop as reviewer
2022-12-06 18:29:58 Brar Piening (brar) Added annotation "Patch for https://commitfest.postgresql.org/41/4042/ (Create visible links for HTML elements that have an id to make them discoverable via the web interface)" to d6695820-af71-5e84-58b0-ff9f1c189603@gmx.de
2022-12-06 18:28:42 Brar Piening (brar) Added annotation "Patch for https://commitfest.postgresql.org/41/4041/ (Add ids to various docbook elements to allow creating stable links to the HTML documentation)" to bec54d08-edca-863e-d211-93bcf6b3a1df@gmx.de
2022-12-06 18:27:33 Brar Piening (brar) Deleted annotation "Patch" from bec54d08-edca-863e-d211-93bcf6b3a1df@gmx.de
2022-12-06 18:23:53 Brar Piening (brar) Added annotation "Patch" to bec54d08-edca-863e-d211-93bcf6b3a1df@gmx.de
2022-12-06 18:22:30 Brar Piening (brar) Changed authors to Brar Piening (brar)
2022-12-06 18:22:30 Brar Piening (brar) Changed targetversion to 16
2022-12-06 18:21:29 Brar Piening (brar) Attached mail thread CAB8KJ=jpuQU9QJe4+RgWENrK5g9jhoysMw2nvTN_esoOU0=a_w@mail.gmail.com
2022-12-06 18:21:29 Brar Piening (brar) Created patch record
Edit