Hey folks,

I just did something very stupid. In github I wanted to comment on a pull request that I created yesterday and "revert" it. So I wrote my comment and clicked the Comment and close button. Which merged not only my pull request (which I didn't want at all), but also some more commits, which I'm not sure where got from.

Is it possible that somebody restores the original state of the forge/core repository? I would also like to ask you to revoke my privileges to commit there, because I would like to avoid pushing some other garbage.

Cheers,
Ivan