Here's the situation: I got this Samsung Galaxy Mini as a gift - my first smartphone - but with this obscured operating system called [DEV][WIP][ROM][UNOFFICIAL] Android 4.2.2 CM10.1 - Nightly 20130310. It doesn't do even some basic things, not the best way to be introduced to smartphones, right? But what can I do?
So as my first interaction with smartphones now supposed to hack a usable operating system on it as well. Let's do it. My obvious choice was to go with the latest official CyanogenMod for the system: you can read my efforts into that here: https://android.stackexchange.com/questions/42088/adb-push-doesnt-push-myrom-zip-sdcard-though-it-says-it-copied-the-file-sams (So far no answers yet.)
My guess at this point is things could work out better if I could first revert the phone back to the official ROM. My first try was to plug it into Samsung's KIES software - but obviously it doesn't recognize the now totally hacked phone. The XDA Forum is way too overwhelming for me to go for this - as my first venture into smartphones -, could you point me to a no-nonsense, step-by-step guide how can I revert back the phone to official Gingerbread from here?