Wie läuft das eigentlich ab? Werden die User von GitHub auch mal per eMail darüber informiert, dass es eine Übernahme gibt, wie diese praktisch durchgeführt wird und zu welchem Zeitpunkt der Wechsel erfolgt? Kann so etwas in dieser Dimension (finanziell) mal eben innerhalb einer Woche stattfinden?
