add personal repository with "git remote add" instead of "git config remote", so that branches on the personal repository are available to git fetch