Fix incorrect ordering of gitfs repos.