From 3841222845f072cbc92009e9c6fae02f60c83d06 Mon Sep 17 00:00:00 2001 From: Alan O'Cais Date: Mon, 22 Jun 2026 11:54:06 +0200 Subject: [PATCH 1/3] Add additional info on registering/verifying an SSH key on GitHub --- docs/installing-on-top.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/docs/installing-on-top.md b/docs/installing-on-top.md index ab7cd1c..ac61a7a 100644 --- a/docs/installing-on-top.md +++ b/docs/installing-on-top.md @@ -37,11 +37,19 @@ follow a reasonably common workflow when it comes to building software in a new [GitHub has good documentation on how to do this](https://docs.github.com/en/authentication/connecting-to-github-with-ssh/adding-a-new-ssh-key-to-your-github-account). If you are using a cluster for this tutorial, you can create a new ssh key on the cluster and - register the public part of the new key on GitHub. + register the public part of the new key on GitHub. You can do this by clicking the `New ssh key` button + at the webpage . **Always remember, an SSH key is like a digital passport, make sure to protect it by a passphrase as the location where it is stored may not be secure**. + You can verify that ssh authentication with GitHub is working by running the command + ``` + ssh -T git@github.com + ``` + (this assumes that you are using a default name for your key, if you are not then you need to add + the option `-i ` to the command). + We have prepared a template for a demonstrator project that can be used throughout this tutorial. The first step is to make your instance of the project from the template, for this you need to click on the link From 48cc10db53ccb23c27ffc81b929fc45374ee63ef Mon Sep 17 00:00:00 2001 From: ocaisa Date: Mon, 22 Jun 2026 11:56:16 +0200 Subject: [PATCH 2/3] Update installing-on-top.md --- docs/installing-on-top.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/installing-on-top.md b/docs/installing-on-top.md index ac61a7a..b670839 100644 --- a/docs/installing-on-top.md +++ b/docs/installing-on-top.md @@ -48,7 +48,7 @@ follow a reasonably common workflow when it comes to building software in a new ssh -T git@github.com ``` (this assumes that you are using a default name for your key, if you are not then you need to add - the option `-i ` to the command). + the option `-i ` to the command). We have prepared a template for a demonstrator project that can be used throughout this tutorial. The first step is to make your instance of the project from the template, for this you need to click on the link From 4fc7e2d0c3f70a89db83038c6192d3e6c9958422 Mon Sep 17 00:00:00 2001 From: Kenneth Hoste Date: Mon, 22 Jun 2026 12:05:48 +0200 Subject: [PATCH 3/3] ssh -> SSH --- docs/installing-on-top.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/installing-on-top.md b/docs/installing-on-top.md index b670839..9cc43a3 100644 --- a/docs/installing-on-top.md +++ b/docs/installing-on-top.md @@ -37,7 +37,7 @@ follow a reasonably common workflow when it comes to building software in a new [GitHub has good documentation on how to do this](https://docs.github.com/en/authentication/connecting-to-github-with-ssh/adding-a-new-ssh-key-to-your-github-account). If you are using a cluster for this tutorial, you can create a new ssh key on the cluster and - register the public part of the new key on GitHub. You can do this by clicking the `New ssh key` button + register the public part of the new key on GitHub. You can do this by clicking the `New SSH key` button at the webpage . **Always remember, an SSH key is like a digital passport,