Skip to content

Conversation

saheerb
Copy link
Contributor

@saheerb saheerb commented Aug 5, 2021

Summary of changes

docker repository can only be lower case. Hence, pushing to docker repository with name "ARMMbed" fails. This PR fixes the bug by converting the docker repo name to lower case before pushing.

Impact of changes

Migration actions required

Documentation

None


Pull request type

[X] Patch update (Bug fix / Target update / Docs update / Test update / Refactor)
[] Feature update (New feature / Functionality change / New API)
[] Major update (Breaking change E.g. Return code change / API behaviour change)

Test results

[] No Tests required for this change (E.g docs only update)
[X] Covered by existing mbed-os tests (Greentea or Unittest)
[] Tests / results supplied as part of this PR

Reviewers

@jamesbeyond


@0xc0170
Copy link
Contributor

0xc0170 commented Aug 5, 2021

CI started

@0xc0170 0xc0170 added needs: CI release-type: patch Indentifies a PR as containing just a patch labels Aug 5, 2021
@0xc0170 0xc0170 merged commit e14b961 into ARMmbed:master Aug 5, 2021
@mergify mergify bot removed the ready for merge label Aug 5, 2021
@mbedmain mbedmain added release-version: 6.14.0 Release-pending and removed release-type: patch Indentifies a PR as containing just a patch Release-pending labels Aug 18, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants