3 ms·

Yup, I agree.For now I think pushing to a private github repository and pulling seems to be working for me.