New location of GIT repositories
21 views
Skip to first unread message
Jaroslav Imrich
Jan 31, 2016, 5:15:17 PM1/31/16
to pkcs1...@googlegroups.com
Dear Users,
I have just moved GIT repositories related to Pkcs11Admin project from my personal GitHub account to a dedicated GitHub organization. Following repositories have been transferred:
Repository: Pkcs11Admin
Old URL: https://github.com/jariq/Pkcs11Admin
New URL: https://github.com/Pkcs11Admin/Pkcs11Admin
Repository: Be.HexEditor
Old URL: https://github.com/jariq/Be.HexEditor
New URL: https://github.com/Pkcs11Admin/Be.HexEditor
All web traffic, git clone and git fetch operations targeting the previous locations will continue to function as if made on the new locations. However updating any existing local clones to point to the new repository URL is strongly recommended. This can be achieved by using git remote on the command line:
$ git remote set-url origin new_url
I have just moved GIT repositories related to Pkcs11Admin project from my personal GitHub account to a dedicated GitHub organization. Following repositories have been transferred:
Repository: Pkcs11Admin
Old URL: https://github.com/jariq/Pkcs11Admin
New URL: https://github.com/Pkcs11Admin/Pkcs11Admin
Repository: Be.HexEditor
Old URL: https://github.com/jariq/Be.HexEditor
New URL: https://github.com/Pkcs11Admin/Be.HexEditor
All web traffic, git clone and git fetch operations targeting the previous locations will continue to function as if made on the new locations. However updating any existing local clones to point to the new repository URL is strongly recommended. This can be achieved by using git remote on the command line:
$ git remote set-url origin new_url
Kind Regards
Jaroslav Imrich
Jaroslav Imrich
Reply all
Reply to author
Forward
0 new messages