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.
mktemp -d rpkg.XXX
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
Script that updates html documentation git repository on Pagure.
Signed-off-by: Ondrej Nosek onosek@redhat.com