this is a major annoyance to have to push and pull like this because internet is too slow to ssh all the time