Redirect git links to GitHub.
Small tweaks.