What was Github's current valuation? It seems that the last round valued them at $2b in 2015. Around ~3x multiple on the last round (~7.5b$). Hopefully, the employees are all happy!