乌克兰软件开发巨头GitLab称将裁员7%。