This did not affect any of the code currently used, instead it was some old abandoned code which people still had left over from some try-and-error experimenting. But order must prevail and I guess we could all accept to delete all those unneccessary bits and bytes. All repositories were just deleted. So what we learned from this:

1. First of all, without the existence of this commit, nobody's rights would have been violated. It's always a bit disappointing to see that people go the "quick way" instead of triple checking every single step they do, be it a commit, an email or anything else.

2. Second of all, and this is dedicated to all student coders and those who like to fork a github repository just to play around a bit: Be sure to do your due diligence before pushing anything to a remote place, which can be read by the public. Get a Raspberry Pi or something to setup a local repository and play around there. Even if you can't see any trace of someone watching, be sure that someone is