commit | 6d78f6d77c5d3222f2dde49c332ffa33b3dcad43 | [log] [tgz] |
---|---|---|
author | Zoltan Nagy <abesto0@gmail.com> | Mon Apr 22 08:35:12 2019 +0100 |
committer | Zoltan Nagy <abesto0@gmail.com> | Mon Apr 22 08:35:12 2019 +0100 |
tree | 0bc0c0d9e72f65956905883547f8935a2172fde6 | |
parent | 1a9b934c86cb191cdc97d0fe3088eb9f5f853ac2 [diff] |
[Jenkinsfile] Trying to fix the Publish step
diff --git a/Jenkinsfile b/Jenkinsfile index 0d6a512..0f57335 100644 --- a/Jenkinsfile +++ b/Jenkinsfile
@@ -93,7 +93,7 @@ mv _site "${builddir}/" ls -lR "${builddir}/_site/" - git fetch origin + git fetch origin asf-site git reset --hard git checkout asf-site git log -3