New location of GIT repositories

18 views
Skip to first unread message

Jaroslav Imrich

unread,
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

Kind Regards

Jaroslav Imrich
Reply all
Reply to author
Forward
0 new messages