diff --git a/dev/svn-push b/dev/svn-push index 4eec523..eb87078 100755 --- a/dev/svn-push +++ b/dev/svn-push @@ -34,13 +34,6 @@ if [ $current_branch != 'main' ]; then git checkout main fi -bin/generate-markdown-readme -git add readme.md -if [ -n "$(git status --porcelain readme.md)" ]; then - echo "Please commit (--amend?) the updated readme.md" - exit 1 -fi - git pull origin main git push origin main svn_url=$(cat svn-url)