Browse Source

dont release docs during release

Nick Sweeting 1 year ago
parent
commit
0c52fd2873
2 changed files with 2 additions and 2 deletions
  1. 1 1
      bin/release.sh
  2. 1 1
      bin/release_git.sh

+ 1 - 1
bin/release.sh

@@ -26,7 +26,7 @@ cd "$REPO_DIR"
 
 
 # Push relase to public repositories
 # Push relase to public repositories
 ./bin/release_git.sh
 ./bin/release_git.sh
-./bin/release_docs.sh
+# ./bin/release_docs.sh
 ./bin/release_pip.sh
 ./bin/release_pip.sh
 ./bin/release_docker.sh
 ./bin/release_docker.sh
 
 

+ 1 - 1
bin/release_git.sh

@@ -17,7 +17,7 @@ cd "$REPO_DIR"
 
 
 # Push build to github
 # Push build to github
 echo "[^] Pushing release commit + tag to Github"
 echo "[^] Pushing release commit + tag to Github"
-git tag -a "v$VERSION" -m "v$VERSION"
+git tag -f -a "v$VERSION" -m "v$VERSION"
 git push origin -f --tags
 git push origin -f --tags
 echo "    To finish publishing the release go here:"
 echo "    To finish publishing the release go here:"
 echo "        https://github.com/ArchiveBox/ArchiveBox/releases/new"
 echo "        https://github.com/ArchiveBox/ArchiveBox/releases/new"