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