Skip to content

Conversation

sjakobi
Copy link
Collaborator

@sjakobi sjakobi commented Sep 27, 2021

@sjakobi
Copy link
Collaborator Author

sjakobi commented Sep 27, 2021

@Gabriel439 Hydra seems to have OOM'd. How do I restart it, so I can merge? Could you give me the necessary permissions?

@Gabriella439
Copy link
Collaborator

I just sent you your Hydra credentials

@sjakobi sjakobi merged commit 8eead56 into master Sep 27, 2021
@sjakobi sjakobi deleted the sjakobi/megaparsec-semver branch September 27, 2021 21:26
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