Rename Contributor to Significant Contributor master github/master
authorChristoph Berg <myon@debian.org>
Mon, 24 Nov 2025 15:41:40 +0000 (16:41 +0100)
committerChristoph Berg <myon@debian.org>
Fri, 28 Nov 2025 14:44:16 +0000 (15:44 +0100)
commitecd0581be63af7cd9b4326267a6868102611da5b
treeea3d9bfab3c81fb3dd0c127c90eaf70661aeb592
parent19bb742abcbedaea8df9858407d9557655611ce6
Rename Contributor to Significant Contributor

The term "Contributor" was too generic and could easily be confused with
the contributors that are listed in the release notes. Also, we want to
make room for listing more contributors on the website, outside of the
"Recognized Contributors" list.

Also do some copy-editing of the contributor pages:

The Recognized Contributors policy page title gets "Policy" appended
because the old title looked like it was the actual contributors list.

The Contributors Profiles page title gets a "PostgreSQL" prepended so
the "PostgreSQL Contributor" term appears there. (Only the in-page title
is updated since the html header title gets "PostgreSQL:" prepended
automatically anyway.) The section on how to submit additions is moved
to the bottom of the page so people can start looking at the list without
that distraction.

All the sections on that page get short introductory text. (The changes
to data.json will need to be manually transferred to the Django admin
interface.)

Author: Christoph Berg <myon@debian.org>
Reviewed-By: Jonathan S. Katz <jkatz@postgresql.org>
pgweb/contributors/fixtures/data.json
templates/contributors/list.html
templates/pages/about/policies/contributors.html