Address issue #871: Have github locations inherit the to_s of git locations.