void GitCmd(string arguments, DataReceivedEventHandler dreh) { Shell.Execute(git_exe, arguments, m_workingfolder, dreh); }