Skip to content

Conversation

@zhexu14
Copy link
Contributor

@zhexu14 zhexu14 commented Jan 11, 2026

No description provided.

@rp-
Copy link
Collaborator

rp- commented Jan 11, 2026

can we get rid of that merge commit?

@zhexu14
Copy link
Contributor Author

zhexu14 commented Jan 12, 2026

can we get rid of that merge commit?

Done, rebased to remove the merge commit.

@rp- rp- merged commit d19b42b into pydcs:master Jan 12, 2026
3 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.

2 participants