jerry73204 merged NEWSLabNTU/nano-ros#556 · September 5, 2026 17:57 ci: arm auto-merge, because 16 of 23 open pull requests were not armed #556 The measurementmain requires a pull request and the merge queue, so a PR reaches main only if someone arms auto-merge. Across the 23 open pull req… +94 -0