Skip to content

Add type annotations to user model#1763

Merged
williamjallen merged 1 commit intoKitware:masterfrom
williamjallen:user-model-type-hints
Oct 31, 2023
Merged

Add type annotations to user model#1763
williamjallen merged 1 commit intoKitware:masterfrom
williamjallen:user-model-type-hints

Conversation

@williamjallen
Copy link
Collaborator

The User model now has type annotations which allow IDEs to infer which properties are available.

This PR was originally a portion of #1742, and has been split into a separate PR to get the changes merged more quickly.

Copy link
Member

@josephsnyder josephsnyder left a comment

Choose a reason for hiding this comment

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

LGTM!

@josephsnyder josephsnyder added this pull request to the merge queue Oct 31, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Oct 31, 2023
@williamjallen williamjallen added this pull request to the merge queue Oct 31, 2023
Merged via the queue into Kitware:master with commit 5b1a374 Oct 31, 2023
@williamjallen williamjallen deleted the user-model-type-hints branch October 31, 2023 15:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments