If Microsoft took over an existing GitHub repo, would those values be the same?