FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Fix README (backport #110) by mergify[bot] · Pull Request #116 · micro-ROS/docker · GitHub

Fix README (backport #110) - #116

Merged
David-LP99 merged 2 commits into
rollingfrom
mergify/bp/rolling/pr-110
Sep 10, 2026
Merged

David-LP99 merged 2 commits into
rollingfrom
mergify/bp/rolling/pr-110

Conversation

mergify Bot commented Sep 10, 2026

Copy link
Copy Markdown
Contributor

Main changes

This PR fixes the docker images table, adding dockerhub badges for each distro and marking old images as deprecated.

@4ntn @EugenioCollado


This is an automatic backport of pull request #110 done by Mergify.

* Fix dockerhub references and mark old images as deprecated

Signed-off-by: Carlosespicur <carlosespicur@proton.me>

* Review - Apply suggested changes

Signed-off-by: Carlosespicur <carlosespicur@proton.me>

---------

Signed-off-by: Carlosespicur <carlosespicur@proton.me>
(cherry picked from commit 74889f3)

# Conflicts:
#	README.md
mergify Bot added the conflicts label Sep 10, 2026

mergify Bot commented Sep 10, 2026

Copy link
Copy Markdown
Contributor Author

Cherry-pick of 74889f3 has failed:

On branch mergify/bp/rolling/pr-110
Your branch is up to date with 'origin/rolling'.

You are currently cherry-picking commit 74889f3.
  (fix conflicts and run "git cherry-pick --continue")
  (use "git cherry-pick --skip" to skip this patch)
  (use "git cherry-pick --abort" to cancel the cherry-pick operation)

Unmerged paths:
  (use "git add <file>..." to mark resolution)
	both modified:   README.md

no changes added to commit (use "git add" and/or "git commit -a")

To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally

mergify Bot mentioned this pull request Sep 10, 2026

mergify Bot commented Sep 10, 2026

Copy link
Copy Markdown
Contributor Author

Tick the box to add this pull request to the merge queue (same as @mergifyio queue).

  • Queue this pull request

Signed-off-by: David Laseca Perez <davidlaseca@eprosima.com>
David-LP99 merged commit 6da91a2 into rolling Sep 10, 2026
2 checks passed
David-LP99 deleted the mergify/bp/rolling/pr-110 branch September 10, 2026 09:47
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
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


Back | FazBrowse Home | New Git URL