Différences

Ci-dessous, les différences entre deux révisions de la page.

--- prog:github [2021/07/03 11:35] – Mise à jour de la mise en forme root
+++ prog:github [2025/11/21 13:25] (Version actuelle) – Ajout de "Personal access token" root
@@ Ligne 1: / Ligne 1: @@
+=====Fonctionnalités=====
+====Personal access token====
+Pour pouvoir pousser sur un dépôt en utilisant un token plutôt que le mot de passe du site, il faut :
+  * Générer le token dans les [[https://github.com/settings/tokens|settings]] de l'utilisateur,
+  * Créer un nouveau token avec les droits : ''read:org'', ''repo'', ''user:email'', ''workflow '' (si le dépôt contient un dossier ''.workflow''),
+  * Noter la clé,
+  * Puis, au moment de faire un ''push'', mettre le nom d'utilisateur puis le token (pas le mot de passe de connexion de github). Il faut aussi faire attention que l'adresse de ''push'' est bien en ''https:%%//%%'' et pas en ''git:%%//%%''.
 ====Pull request====
@@ Ligne 104: / Ligne 115: @@
 {{:prog:github:rebase_merge_5.png|}}
+=====API=====
+====Forks====
+Cloner tous les forks pour les lire dans un logiciel graphique.
+<code bash>
+#!/usr/bin/env bash
+OWNER="githubuser0xFFFF"
+REPO="Qt-Advanced-Docking-System"
+PAGE=1
+PER_PAGE=100
+mkdir -p $REPO
+cd $REPO || exit
+git init -q
+while true; do
+  DATA=$(curl -s "https://api.github.com/repos/$OWNER/$REPO/forks?per_page=$PER_PAGE&page=$PAGE")
+  COUNT=$(echo "$DATA" | jq 'length')
+  [ "$COUNT" -eq 0 ] && break
+  echo "$DATA" | jq -r '.[].url' | while read -r APIURL; do
+    USER=$(echo "$APIURL" | cut -d'/' -f5)
+    GITURL="https://github.com/${USER}/${REPO}.git"
+    git remote add "$USER" "$GITURL" 2>/dev/null || continue
+    GIT_TERMINAL_PROMPT=0 git fetch "$USER" -q
+  done
+  PAGE=$((PAGE+1))
+done
+</code>