theendofline

Multiple SSH Keys settings for different github account

create different public key

create different ssh key according the article Mac Set-Up Git

$ ssh-keygen -t rsa -C "your_email@youremail.com"

theendofline

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

1. Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.)

git clone --bare git@github.com:usi-systems/easytrace.git

theendofline

# inspired by the https://gist.github.com/jaytaylor/86d5efaddda926a25fa68c263830dac1
registry="http://${registry_user}:${registry_passwd}@${registry_url}/v2"
for repo in `cat repos-todel`; do
    for tag in $(curl -sSL "${registry}/${repo}/tags/list" | jq -r '.tags[]?'); do    
        tagURL="${registry}/${repo}/manifests/${tag}"
        sha256=$(curl -H "Accept: application/vnd.docker.distribution.manifest.v2+json" -sSL -I ${tagURL} | awk '$1 == "Docker-Content-Digest:" { print $2 }' | tr -d $'\r')
        deleteURL="${registry}/${repo}/manifests/${sha256}"
        echo $deleteURL
        # curl -v -sSL -X DELETE $deleteUR
    done