@ -1,7 +0,0 @@
make html
git commit "$@"
cd _build/html
git add .
git push
cd ../..
The note is not visible to the blocked user.