fix

Author: lucasssvaz

tools/config.sh

@@ -29,7 +29,7 @@ AR_USER="lucasssvaz"
 
 # The full name of the repository
 AR_REPO="$AR_USER/arduino-esp32"
-IDF_REPO="espressif/esp-idf"
+IDF_REPO="$AR_USER/esp-idf"
 AR_LIBS_REPO="$AR_USER/esp32-arduino-libs"
 
 AR_REPO_URL="https://github.com/$AR_REPO.git"

tools/push-to-arduino.sh

@@ -20,7 +20,7 @@ git config --global user.email "[email protected]"
 # esp32-arduino-libs
 #
 
-if [ $LIBS_HAS_ASSET == "0" ]; then
+if [ $LIBS_HAS_ASSET == "0" ] && [ $AR_HAS_COMMIT == "0" ]; then
 	cd "$AR_ROOT"
 	mkdir -p dist
 
@@ -81,7 +81,10 @@ if [ $LIBS_HAS_ASSET == "0" ]; then
 
 		remote_checksum=$(sha256sum "$remote_file" | awk '{print $1}')
 		if [ "$local_checksum" != "$remote_checksum" ]; then
-			echo "Checksum mismatch for downloaded file after retry. Deleting asset and exiting..."
+			echo "Checksum mismatch for downloaded file after retry"
+			echo "Local: $local_checksum"
+			echo "Remote: $remote_checksum"
+			echo "Deleting asset and exiting..."
 			if [ `github_release_asset_delete "$AR_LIBS_REPO" "$LIBS_ASSET_ID"` == "0" ]; then
 				echo "ERROR: Failed to delete asset '$LIBS_ZIP_FILENAME'"
 			fi