It’s the first major change to GitHub since losing its CEO.