add description how to get a specific tagged version

Jerome Hilairerequested to merge
github/fork/LaviniaBaumstark/develop into develop

Created by: LaviniaBaumstark

Merge request reports