search

ros-infrastructure / rosindex

The source code for generating index.ros.org
https://index.ros.org
GNU General Public License v3.0
13 stars 24 forks source link

Update the remotes after cloning them #411

Closed tfoote closed 2 months ago

tfoote commented 2 months ago

in case they've been checked out in the past and are potentially outdated.

Fixes #404

tfoote commented 2 months ago

Thanks for the confirmation.