rticonnextdds-examples
rticonnextdds-examples copied to clipboard
[ENH] Automatically merge release/7.3.0 into develop to keep the develop branch updated
Enhancement description
@ManuelJNunez found something like https://stackoverflow.com/questions/35445186/can-github-automatically-merge-branches. We need to take a look and implement it.