Skip to content

pgserver repo cleanup#20

Merged
aaron-siegel merged 11 commits intopixeltable:mainfrom
aaron-siegel:cleanup
Jan 28, 2026
Merged

pgserver repo cleanup#20
aaron-siegel merged 11 commits intopixeltable:mainfrom
aaron-siegel:cleanup

Conversation

@aaron-siegel
Copy link
Collaborator

  • Bump postgres to 16.11
  • Fix linting and formatting issues
  • Add missing type hints
  • Some refactoring
  • Replace Union/Optional with Python 3.10+ syntax

@aaron-siegel aaron-siegel merged commit 1fb66f9 into pixeltable:main Jan 28, 2026
6 checks passed
@aaron-siegel aaron-siegel deleted the cleanup branch January 28, 2026 00:57
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