# Primary key: the repo id
	redef var id is lazy, serialize_as("_id") do return repo.full_name