Added option to disable deleting of non empty repositories through the user...

peto268

2014-04-26 99b43dffe86b635e97f625157083cee37ee921bf

 src/main/java/com/gitblit/wicket/pages/propose_git.md

@@ -1,6 +1,6 @@
    git clone ${url}
    cd ${repo}
    git checkout -b ${reviewBranch} ${integrationBranch}
    git checkout -b ${reviewBranch} origin/${integrationBranch}
    ...
    git push --set-upstream origin ${reviewBranch}
    git push -u origin ${reviewBranch}