Skip to content

chore(docs): typo fix in docker md #12591

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 6 commits into from

Conversation

frankkilcommins
Copy link
Contributor

No description provided.

@djankows
Copy link
Member

djankows commented Aug 7, 2025

Hi @frankkilcommins, thanks for pointing that out, addressed in #12595

@frankkilcommins
Copy link
Contributor Author

@djankows no probs. It's a little strange that you created a new PR instead of merging this one?

No big issue for me, but if we get PRs from the community we need to ensure we attribute those appropriately rather than re hashing in new PRs.

@MichakrawSB
Copy link

Hi @frankkilcommins,

@djankows created new PR because at the moment you created PR we had issue with github secrets and PR builds were failing. Once we fixed it unfortunately we couldn't run builds for PRs created in meantime - that's why for this issue it was much faster to create new PR.

Currently everything is straighten up and finally we were able to merge one affected community PR without creating new one on our side. ⭐

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.

4 participants