Ask people to fix the doc badges before they release.

Amir MOHAMMADIrequested to merge
docurl into master

This is necessary for current private packages before they get released publicly.

Edited by Amir MOHAMMADI

Merge request reports