The Clone button shown at the top of the site shows "Other git URLs' and lists Documentation as https://pagure.io/docs/setroubleshoot.git
However, I tried to clone it and got the following Git result:
fatal: repository 'https://pagure.io/docs/setroubleshoot.git/' not found
I was able to clone the main repo without problems. Is the Docs repo URL advertized valid?
This project was moved to gitlab 3 years ago - https://gitlab.com/setroubleshoot
OK, thanks. Not obvious when you stumble on this...