Could this not lead to a penalty on the github account used to post it?
No, because people push their own keys to source repos every day.
No, because people push their own keys to source repos every day.