pushing updates onto the github