Fix mbed-os-to-arduino in case of pedantic tags

Author: facchinm

Diff for: mbed-os-to-arduino

@@ -41,7 +41,7 @@ mbed_revision () {
 		echo -n " Checking out remote branch $REMOTE_BRANCH..."
 		# checkout the mbed-os version you prefer...
 		cd mbed-os
-		git checkout --track "$REMOTE_BRANCH"
+		git checkout "$REMOTE_BRANCH"
 		cd ..
 	fi
 

Diff for: platform.txt

@@ -4,7 +4,7 @@
 # For more info:
 # https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification
 
-name=Arduino Mbed OS  Boards
+name=Arduino Mbed OS Boards
 version=2.7.1
 
 # Compile variables