We are currently migrating all git repositories to new storage. In the unlikely event that you attempt to write to your git repo at the exact time it is being moved, you will receive a message about your repository being write protected.

Commit b0219f8c authored by Gonzalo S Nido's avatar Gonzalo S Nido
Browse files

Fixed small typo

parent 443d218a
......@@ -80,7 +80,7 @@ while getopts ":s:f:m:pc:u:g:h" opt; do
done
shift $((OPTIND -1))
if [[ ${PERSIST} == 1]]; then
if [[ ${PERSIST} == 1 ]]; then
echo "Option -p is still not implemented, sorry."
fi
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment