GitHub vs JetBrains Space | What are the differences?