I just discovered that if you are mentioned on github (using the @), the mail you get will contain
mention@noreply.github.com as CC so you can filter for this as well. Or use it to increase mail priority
---
[Visit Topic](
https://discourse.ros.org/t/moveit-maintainer-meeting-recap-nov-20th-2018/6908/3) or reply to this email to respond.
If you do not want to receive messages from ros-users please use the unsubscribe link below. If you use the one above, you will stop all of ros-users from receiving updates.
______________________________________________________________________________
ros-users mailing list
ros-users@lists.ros.org
http://lists.ros.org/mailman/listinfo/ros-users
Unsubscribe: <
http://lists.ros.org/mailman//options/ros-users>