Skip to content

Conversation

@DanAlbert
Copy link
Collaborator

I goofed when force pushing #344 and pushed pydcs/master to that branch instead of my local HEAD. Doing that automatically closed the PR since it no longer had any new commits in it, and because there's no longer a PR from that branch I can't force push to it any more. Reuploading.

@DanAlbert DanAlbert merged commit 24ade09 into pydcs:master Dec 19, 2023
@DanAlbert DanAlbert deleted the greg-pr branch December 19, 2023 01:39
@gregretkowski
Copy link
Contributor

thanks for merging this!

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