And what level of 'growth' constitutes a trend that warrants "developers are ditching GitHub" without providing any numbers at all?