It was allowed to force push to the main branch. Not "made" by GitHub seems to be quite uncharitable nitpicking, when the bot has been blessed by GitHub and implicitly its actions endorsed.
In the spirit of your comment: Gas lighting is a classic pastime.