git mirror alias now works with older git versions < 1.8 as well