-
Michael Kriese authored
This pr fixes the windows specific git bug by setting the remove branch name explicitly when pushing. Closes #3204
Michael Kriese authoredThis pr fixes the windows specific git bug by setting the remove branch name explicitly when pushing. Closes #3204
