GitHub India lays off