Skip to content

Conversation

jdpleiness
Copy link
Contributor

@jdpleiness jdpleiness commented Jan 24, 2025

Update dead link in Postgres docs to external Postgres provider.

Copy link

vercel bot commented Jan 24, 2025

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
sourcegraph-docs ✅ Ready (Inspect) Visit Preview 💬 Add feedback Jan 24, 2025 8:39pm

Copy link
Contributor Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

@jdpleiness jdpleiness requested review from a team and MaedahBatool January 24, 2025 20:34
@jdpleiness jdpleiness marked this pull request as ready for review January 24, 2025 20:34
@jdpleiness jdpleiness merged commit 563c20a into main Jan 24, 2025
10 checks passed
Copy link
Contributor Author

Merge activity

  • Jan 24, 3:40 PM EST: A user merged this pull request with Graphite.

@jdpleiness jdpleiness deleted the 01-24-chore_docs_update_dead_link_in_postgres_docs branch January 24, 2025 20:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants