other person is pushing to github