Skip to content

[18674] Fixes on XML schema (backport #3534)#3538

Merged
EduPonz merged 1 commit into2.10.xfrom
mergify/bp/2.10.x/pr-3534
May 31, 2023
Merged

[18674] Fixes on XML schema (backport #3534)#3538
EduPonz merged 1 commit into2.10.xfrom
mergify/bp/2.10.x/pr-3534

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify bot commented May 25, 2023

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


Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR on its base branch
  • @Mergifyio update will merge the base branch into this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com

* Include recently added XML supported tags in the schema

Signed-off-by: JesusPoderoso <jesuspoderoso@eprosima.com>

* Fix QoS for Data Reader

Signed-off-by: JesusPoderoso <jesuspoderoso@eprosima.com>

* Update testing XML

Signed-off-by: JesusPoderoso <jesuspoderoso@eprosima.com>

---------

Signed-off-by: JesusPoderoso <jesuspoderoso@eprosima.com>
(cherry picked from commit 81cd998)
@mergify mergify bot mentioned this pull request May 25, 2023
11 tasks
@MiguelCompany MiguelCompany added this to the v2.10.2 milestone May 25, 2023
@MiguelCompany MiguelCompany added the ci-pending PR which CI is running label May 25, 2023
@JesusPoderoso JesusPoderoso added ready-to-merge Ready to be merged. CI and changes have been reviewed and approved. and removed ci-pending PR which CI is running labels May 26, 2023
@EduPonz EduPonz merged commit 9a01da1 into 2.10.x May 31, 2023
@EduPonz EduPonz deleted the mergify/bp/2.10.x/pr-3534 branch May 31, 2023 06:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready-to-merge Ready to be merged. CI and changes have been reviewed and approved.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants