git url abbreviations etc.