diff --git a/scripts/mk_win_dist.cmd b/scripts/mk_win_dist.cmd
index 250f1a3c1..e3c24da2f 100644
--- a/scripts/mk_win_dist.cmd
+++ b/scripts/mk_win_dist.cmd
@@ -1,19 +1,3 @@
-git config --global user.email "nbjorner@microsoft.com"
-
-git config --global user.name "Nikolaj Bjorner"
-
-echo "test" > bin\nightly\ping.txt
-
-cd bin\nightly
-
-git add ping.txt
-
-git commit -s -a -m "test"
-
-git push
-
-goto :EOF
-
 
 call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat"
 
@@ -23,13 +7,3 @@ call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliar
 
 python scripts\mk_win_dist.py --x86-only --dotnet-key=$(Agent.TempDirectory)\z3.snk
 
-xcopy dist\*.zip bin\nightly\* /y
-
-cd bin\nightly
-
-git add *.zip
-
-git commit -s -a -m "nightly Windows"
-
-git push
-