pg_docs_bot icon indicating copy to clipboard operation
pg_docs_bot copied to clipboard

Exclude all pages that have been deprecated or had their name changed

Open mchristofides opened this issue 4 years ago • 0 comments

Several specific pages already accounted for (so that they don't redirect):

  • recovery-config
  • app-createlang
  • app-droplang
  • indexcost
  • inherit
  • manage
  • failure
  • failure-disk-failed
  • programmer-client
  • developer

We could find them all, but it looks like a lot of work for possibly not much gain.

Update: The failure case is now much nicer, since adding a notice with a link to the page redirected from (#3).

mchristofides avatar Apr 27 '20 09:04 mchristofides