Do you experience the same?It takes ages to push to the github - 2-3 minutes...Anyone experienced the same?T.