Skip to content

Conversation

@idontgetoutmuch
Copy link

This seems like a useful function to have.

@idontgetoutmuch
Copy link
Author

I am not sure about the names @acowley - do you have any suggestions?

@acowley acowley deleted the branch acowley:master October 22, 2023 18:29
@acowley acowley closed this Oct 22, 2023
@idontgetoutmuch
Copy link
Author

@acowley I'd be grateful for any feedback on why this got closed.

@acowley
Copy link
Owner

acowley commented Oct 23, 2023

Ach! Sorry. I was trying to land it over the weekend and must have done something wrong!

@acowley
Copy link
Owner

acowley commented Oct 23, 2023

I think it's because in a fit of housecleaning I moved the master branch to main.

@acowley
Copy link
Owner

acowley commented Oct 23, 2023

The trouble I had merging seems to be unrelated to the automatic closure here. The trouble was first due to naming, and then I seemed to need additional language pragmas on the Melt module that I didn't work through yet.

@acowley acowley reopened this Oct 23, 2023
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