Closed marknelsonengineer closed 9 years ago
To mixup my repo, I:
Before the fix:
$ git remote -v
heroku https://git.heroku.com/limitless-sands-9772.git (fetch)
heroku https://git.heroku.com/limitless-sands-9772.git (push)
origin https://github.com/PlayWithMagic/PlayWithMagic.git (fetch)
origin https://github.com/PlayWithMagic/PlayWithMagic.git (push)
The Fix:
$ git remote set-url origin https://github.com/PlayWithMagic/PlayWithMagic.org.git
After the fix:
$ git remote -v
heroku https://git.heroku.com/limitless-sands-9772.git (fetch)
heroku https://git.heroku.com/limitless-sands-9772.git (push)
origin https://github.com/PlayWithMagic/PlayWithMagic.org.git (fetch)
origin https://github.com/PlayWithMagic/PlayWithMagic.org.git (push)
...noting that both the (fetch) and (push) are updated. I did a sync w/ my local GitHub client and everything seems fine.
Question: Should we add .org to the image files? Specifically:
I think the small icon in the top-left corner of all pages is fine without .org.
I'm neutral on the question, but I wanted to get everyone's thoughts on the subject.
I believe we should not add .org to the image files.
As a team, we agreed we don't want to do this.
Done.
A few notes:
Highlights include: When you rename a repository, all existing information is automatically redirected to the new name, including:
In addition to redirecting web traffic, all git clone, git fetch, or git push operations targeting the previous location will continue to function as if made on the new location. However, to reduce confusion, we strongly recommend updating any existing local clones to point to the new repository URL. You can do this by using git remote on the command line:
git remote set-url origin new_url