GitHub bietet an einen „Erben“ zu benennen.