Item logo image for pg_docs_bot

pg_docs_bot

5.0(

2 ratings

)
Item media 2 (screenshot) for pg_docs_bot
Item media 1 (screenshot) for pg_docs_bot
Item media 2 (screenshot) for pg_docs_bot
Item media 1 (screenshot) for pg_docs_bot
Item media 1 (screenshot) for pg_docs_bot
Item media 2 (screenshot) for pg_docs_bot

Overview

Redirects PostgreSQL docs links to the current version (except when coming from the docs, or to deprecated features).

When you search for Postgres related things, an old version of the documentation is sometimes indexed. Similarly, some answers on sites like Stack Overflow link to old versions of the documentation. pg_docs_bot helps you avoid having to click "Current" when you get there, or the frustration of reading the information before realising it's out of date, or (even worse) not realising at all. Features: * Redirects links to the "current" version * After redirecting, displays a notice (including a link to the page you were redirected from) * Avoids redirecting some deprecated features (to avoid 404s) * Doesn't redirect when coming from another page in the docs, so you can still check old versions (the main problem with generic redirectors) Limitations: * Only supports redirecting to "current" * Works for the English language docs * Works for v7.0 through v17 links * The Chrome extension works on a limited list of search engines and stack exchange sites (to avoid needing <all_urls> permission)

Details

  • Version
    2.0.0
  • Updated
    April 4, 2025
  • Offered by
    michristofides
  • Size
    7.92KiB
  • Languages
    English (United Kingdom)
  • Developer
    Email
    michristofides@hey.com
  • Non-trader
    This developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.

Privacy

The developer has disclosed that it will not collect or use your data.

This developer declares that your data is

  • Not being sold to third parties, outside of the approved use cases
  • Not being used or transferred for purposes that are unrelated to the item's core functionality
  • Not being used or transferred to determine creditworthiness or for lending purposes

Support

For help with questions, suggestions, or problems, visit the developer's support site

Related

GitHub Better Line Counts

5.0

Remove generated files from GitHub line counts

Sheets Genie

5.0

Turn Google Sheets into a business automation & web scraping powerhouse.

Apache KIE™ BPMN, DMN & Test Scenario Editors for GitHub

3.4

Visualize and edit BPMN, DMN and Test Scenario files using a graphical editor on GitHub

GitHub Recommender

4.9

Get similar repositories on GitHub page

Forks Diff Counter for GitHub

5.0

This extension will show commits behind and ahead for every fork.

Notch

0.0

Save, Search, Organize and sync your saved pages across browsers. Notch allows you to save the pages that interest you and then…

GitHub PR images comparer

4.0

Enhanced GitHub PR images comparer that uses pixelmatch

Github Stars

4.0

See the number of stars earned by a github repository while hovering over its link.

Github JSON Editor

0.0

Github JSON Editor

Notifications Preview for GitHub

5.0

Quickly see your notifications in a popup without leaving the current page

LogoSwap: Twitter X Logo Changer

4.3

Twitter logo swap - change to the twitter bird and different Twitter X logo designs!

AWS Console Fixes

5.0

Fix annoyances in the AWS Management Console.

GitHub Better Line Counts

5.0

Remove generated files from GitHub line counts

Sheets Genie

5.0

Turn Google Sheets into a business automation & web scraping powerhouse.

Apache KIE™ BPMN, DMN & Test Scenario Editors for GitHub

3.4

Visualize and edit BPMN, DMN and Test Scenario files using a graphical editor on GitHub

GitHub Recommender

4.9

Get similar repositories on GitHub page

Forks Diff Counter for GitHub

5.0

This extension will show commits behind and ahead for every fork.

Notch

0.0

Save, Search, Organize and sync your saved pages across browsers. Notch allows you to save the pages that interest you and then…

GitHub PR images comparer

4.0

Enhanced GitHub PR images comparer that uses pixelmatch

Github Stars

4.0

See the number of stars earned by a github repository while hovering over its link.

Google apps