Get repos file for the release being built

ros2 / docs.ros2.org

http://docs.ros2.org

Creative Commons Attribution 4.0 International

0 stars 4 forks source link

Get repos file for the release being built #15

Closed jacobperron closed 4 years ago

jacobperron commented 4 years ago

If we are building documentation for a particular release, we want to use the correct versions. This is useful if we want to this script to regenerate docs for a previous release.

jacobperron commented 4 years ago

@nuclearsandwich ping