Bug report
push-ros-namespace is the current decorator used for pushing a ROS namespace within a Launch GroupAction. However, we think it is more aesthetically nice to use push_ros_namespace, so we should add that decorator as well. See https://github.com/ros2/ros2_documentation/pull/539/files#r388486312 for more details.