[repos] use a friendlier github link