1. Intro

In this Document all GitHub secrets are documented. Github Secrets are encrypted secrets stored on GitHub. These can be used in GitHub Actions. Don’t confuse them with git secret.

2. Change and create them on GitHub

You can configure those secrets here. If you dont have access to this page ask one of the administrator of the repository or the supervisor.

3. Current Secrets (12.05.2021)

3.1. DEPIP

The ip of the machine which hosts the leo-iot application.

3.2. DEPKEY

The key for connecting to the host machine.

3.2.1. Create such key

connect to the host machine and navigate in the ~/.ssh directory and execute the following command.

ssh-keygen -t rsa

Select a name for the key and leave passphrase empty. This will produce a private and public key. Use the following command to attach the public key to the authorized keys.

cat ~/.ssh/<key-name>.pub >> ~/.ssh/authorized_keys
Use the public key with the .pub ending not the private key

  • <key-name>: the name of the key you specified

The remaining unused private key ist the key for the GitHub DEPKEY Secrets field.

source

https://htl-leonding-college.github.io/quarkus-jar-gh-actions-demo/gh-actions.html

3.3. DEPUSER

The hostname of the host machine.

3.4. GSPRIVKEY

A gpg key which can access the git secrets.