You want to do:
git remote --set-url origin https://github.com/TEIC/TEI.git
I blame James.
On Mon, Aug 31, 2015 at 1:52 PM, Lou Burnard
OK, so I tried to check a new file into my P5-Pure branch and it told me to "use the new location"
lou@Thimk:~/Public/Guidelines$ git push origin P5-Pure Username for 'https://github.com': lb42 Password for 'https://lb42@github.com': Counting objects: 22, done. Delta compression using up to 4 threads. Compressing objects: 100% (5/5), done. Writing objects: 100% (5/5), 1.16 KiB | 0 bytes/s, done. Total 5 (delta 3), reused 0 (delta 0) remote: This repository moved. Please use the new location: remote: https://github.com/TEIC/TEI.git To https://github.com/TEIC/Guidelines.git 17dfde6..d692839 P5-Pure -> P5-Pure lou@Thimk:~/Public/Guidelines$
um....
-- tei-council mailing list tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council
PLEASE NOTE: postings to this list are publicly archived