2nd attempt: git push to other user repo