Skip to content

Conversation

@peterhollender
Copy link
Contributor

Closes #201

@peterhollender peterhollender linked an issue Feb 7, 2025 that may be closed by this pull request
@ebrahimebrahim
Copy link
Collaborator

Can you add the issue number (#201) to the commit message (header or body) and git commit --amend and force push?

@ebrahimebrahim
Copy link
Collaborator

Nevermind -- why don't I do it myself 😄
I always forget i can do that

@ebrahimebrahim ebrahimebrahim force-pushed the 201-add-docstrings-to-protocol-attributes branch from d4acb6b to 7d3a0cf Compare February 7, 2025 16:28
@ebrahimebrahim ebrahimebrahim enabled auto-merge (rebase) February 7, 2025 16:29
@ebrahimebrahim ebrahimebrahim self-requested a review February 7, 2025 17:04
@ebrahimebrahim ebrahimebrahim merged commit 63a4f34 into main Feb 7, 2025
9 checks passed
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.

Add docstrings to Protocol attributes

3 participants