Skip to content

Remove PostGIS#10410

Merged
zachmargolis merged 2 commits intomainfrom
margolis-remove-postgis
Apr 11, 2024
Merged

Remove PostGIS#10410
zachmargolis merged 2 commits intomainfrom
margolis-remove-postgis

Conversation

@zachmargolis
Copy link
Contributor

- Code that leveraged this never landed on main

changelog: Internal, Source code, Remove PostGIS references
@zachmargolis zachmargolis requested review from a team and svalexander April 11, 2024 16:41
Copy link
Contributor

@night-jellyfish night-jellyfish left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for cleaning this up, including the documentation!

@zachmargolis zachmargolis merged commit ea72427 into main Apr 11, 2024
@zachmargolis zachmargolis deleted the margolis-remove-postgis branch April 11, 2024 17:24
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just to clarify, we don't need a new migration to disable the extension?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ah whoops I made one but forgot to commit it 🤦 PR incoming

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

follow-up PR: #10413

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.

3 participants