About Github migration