More precisely, a movement to leave GitHub mistakenly endeavors to leave git.