#410 Added update-docs script
Merged by onosek. Opened by onosek.
onosek/rpkg update_docs  into  master

Download 410.patch

Script that updates html documentation git repository on Pagure.

Signed-off-by: Ondrej Nosek onosek@redhat.com

It needs to run on a machine that is able to check out repositories from Pagure and execute make html (requires python2-sphinx)

Looks good to me.

Very minor improvement could be to use unique names for the temp directories, since they are deleted anyway at the end. Something like mktemp -d rpkg.XXX should do the trick. That could prevent potential issue if the directory already exists.

rebased onto 303fc0cc6644610aa03de5c1d79253c8d4728ee5

Thanks, I updated the code as per your comment.
Additionally, I found that "trap" is needed, because of "set -e" mode script could potentially end with undeleted temp directories when nothing is committed.

:thumbsup:

Pull-Request has been merged by onosek

Metadata