Skip to content
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

Fix .repos branches #3846

Merged
merged 2 commits into from
Sep 18, 2023
Merged

Fix .repos branches #3846

merged 2 commits into from
Sep 18, 2023

Conversation

JLBuenoLopez
Copy link
Contributor

@JLBuenoLopez JLBuenoLopez commented Sep 13, 2023

Description

Contributor Checklist

  • [N/A] Commit messages follow the project guidelines.
  • [N/A] The code follows the style guidelines of this project.
  • [N/A] Tests that thoroughly check the new feature have been added/Regression tests checking the bug and its fix have been added; the added tests pass locally
  • [N/A] Any new/modified methods have been properly documented using Doxygen.
  • [N/A] Changes are ABI compatible.
  • [N/A] Changes are API compatible.
  • [N/A] New feature has been added to the versions.md file (if applicable).
  • [N/A] New feature has been documented/Current behavior is correctly described in the documentation.
  • [N/A] Applicable backports have been included in the description.

Reviewer Checklist

  • The PR has a milestone assigned.
  • Check contributor checklist is correct.
  • Check CI results: changes do not issue any warning.
  • Check CI results: failing tests are unrelated with the changes.

Signed-off-by: JLBuenoLopez-eProsima <[email protected]>
@JLBuenoLopez JLBuenoLopez added this to the v2.11.3 milestone Sep 13, 2023
fastrtps.repos Outdated Show resolved Hide resolved
@MiguelCompany MiguelCompany added the skip-ci Automatically pass CI label Sep 18, 2023
Signed-off-by: JLBuenoLopez-eProsima <[email protected]>
@MiguelCompany MiguelCompany merged commit 091b419 into 2.11.x Sep 18, 2023
5 checks passed
@MiguelCompany MiguelCompany deleted the hotfix/fix-2.11.x-branches branch September 18, 2023 10:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
skip-ci Automatically pass CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants