I’m spinning up a simulation environment for a new ROV, and project dave seems to be a great collection of resources!

Do you have a way for non-org members to help update documentation? So far, I’ve just found minor things in the tutorials…
(e.g. WHOI’s repos now support melodic in the master branch, so no need to check out the melodic branch; the provided git clone commands don’t work)