Accès GitHub

Git

Git est un système de contrôle de version distribué, gratuit et open source, conçu pour traiter tous les projets, y compris sur un cluster de calcul. Pour comprendre comment git fonctionne, se référer à la documentation officielle. L'exemple donné ici utilise la plateforme Github. L'utilisation de github en ligne de commande ou GitHub CLI se fait grace à la commande gh disponible sur HPC2.

Pré-requis

L'objectif ici est de pouvoir cloner puis échanger du code entre un dépot git distant et un répertoire présent dans le home HPC2 d'un utilisateur. Il faut donc au préalable avoir un dépôt github avec du code. L'utilisateur doit également mettre en place un jeton ou token depuis son compte github.

Tip

Jeton d'accès personnel : https://github.com/settings/tokens

Les champs d'application minimum requis sont : 'repo', 'read:org', 'admin:public_key'

Configurer l'accès sur HPC2

$ gh auth login
# Suivre les instructions pas à pas 

$ cat ~/.config/gh/hosts.yml
github.com:
    oauth_token: xxxxx_mon_jeton_xxxxxx
    user: *login*
    git_protocol: ssh

Usage

Définir le proxy HTTPS

$ export https_proxy=http://proxy.dsi.uca.fr:8080

Cloner le dépôt

$ git clone https://mon_organisation:xxxxx_mon_jeton_xxxxxx@github.com/mon_organisation/mon_repo
$ ls
...
mon_repo
...
$ cd mon_repo
$ git status
# On branch main
nothing to commit, working directory clean
$