function pushfag: push git changes to fag master if a fag remote repository exists