Skip to content

Conversation

@beorn7
Copy link
Contributor

@beorn7 beorn7 commented May 22, 2020

Sorry for that…

@beorn7 beorn7 requested a review from tomwilkie May 22, 2020 16:55
@beorn7
Copy link
Contributor Author

beorn7 commented May 25, 2020

@tomwilkie (or @woodsaj or @malcolmholmes ), could I get a 👍 here?

@beorn7
Copy link
Contributor Author

beorn7 commented May 26, 2020

Time out! Since this is a destructive typo in a publicly visible and used repo, I'm merging now.

@beorn7 beorn7 merged commit 51b87a1 into master May 26, 2020
@beorn7 beorn7 deleted the beorn7/prom-config branch May 26, 2020 14:32
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.

1 participant