I see that there are several free GUIs for Git, including these: GitHub, Git Extensions, SourceTree, git-cola, SmartGit and GitEye. Any opinions on which to download and use? -- Arthur