how to add someone to my github repository​