If we use GitHub info for implementation status, what should WGs do when they close? Should we have designated people who maintain official GitHubs?