mirrors/kyverno
mirrors/kyverno
1
0
Fork 0
mirror of https://github.com/kyverno/kyverno.git synced 2025-03-05 15:37:19 +00:00
Code Activity

fix GitHub pages publishing dir

Browse source
This commit is contained in:
Jim Bugwadia 2019-05-12 15:20:12 -07:00
parent 4124fc7d79
commit b251cd0e6f
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
gh-pages/publish-to-gh-pages.sh
View file

@ -2,8 +2,6 @@
DIR=$(dirname "$0") DIR=$(dirname "$0")
cd $DIR/..
if [[ $(git status -s) ]] if [[ $(git status -s) ]]
then then
echo "The working directory is dirty. Please commit any pending changes." echo "The working directory is dirty. Please commit any pending changes."