Geometry Dash on GitHub — an overview