That is actually no joke, because "GitHub, Inc. has been a subsidiary of Microsoft since 2018."