There are "enterprise" GitHubs accounts/repos which are supposed to be "private and secure." Which no sane company would use for anything remotely critical. But, without seeing the URL, it is possible the source isn't a public repo. I think.
Typically that would have a non-github.com URL, wouldn't it? But yes, that could theoretically be an "internal" GitHub site that people outside the company aren't supposed to have access to.
I don't understand GitHub, but I think this means they want to merge their bad code into the main folder basically?
They want to merge someone else's code hosted on a public GitHub repo to the main/master code branch, is what it looks like.
There are "enterprise" GitHubs accounts/repos which are supposed to be "private and secure." Which no sane company would use for anything remotely critical. But, without seeing the URL, it is possible the source isn't a public repo. I think.
Typically that would have a non-github.com URL, wouldn't it? But yes, that could theoretically be an "internal" GitHub site that people outside the company aren't supposed to have access to.
No. Enterprise GitHub is all in GitHub.com with sso for auth. The company repos aren’t public.