Remove doc repository after pushing
    
    The line removing the documentation repository after pushing it to
    pagure was buggy, since it would try to remove the directory while
    working inside it.