Skip to content

Rename http-server to diagnostics-http-server#661

Merged
mergify[bot] merged 6 commits intodevelopfrom
http-server-rename
Dec 27, 2020
Merged

Rename http-server to diagnostics-http-server#661
mergify[bot] merged 6 commits intodevelopfrom
http-server-rename

Conversation

@tomaka
Copy link
Owner

@tomaka tomaka commented Dec 26, 2020

No description provided.

@tomaka tomaka added the automerge PRs with this label automatically get merged once they pass CI label Dec 26, 2020
@mergify mergify bot merged commit ed11f7d into develop Dec 27, 2020
@mergify mergify bot deleted the http-server-rename branch December 27, 2020 09:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automerge PRs with this label automatically get merged once they pass CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant