Git/Participer au développement de Wikimédia
< Git
Prérequis
modifierClé SSH
modifierLes soumissions effectuées par Git doivent être authentifiées par Gerrit. Pour ce faire il faut ajouter une clé publique dans son compte https://gerrit.wikimedia.org/r/#/settings/ssh-keys (nommé login dans les exemples ci-dessous).
git-review
modifiergit-review est un outil en mode ligne de commande pour Git / Gerrit permettant de soumettre une modification, ou de récupérer une modification existante.
apt-get install git-review
ou :
pip install git-review
Site Mediawiki
modifierLe dépôt examples.git existe pour s'entraîner.
git review -s
git branch
git remote -v
ssh login@gerrit.wikimedia.org:29418/test/mediawiki/extensions/examples.git
git review -s
git config -l
git config --global user.name "login"
git clone https://gerrit.wikimedia.org/r/p/test/mediawiki/extensions/examples.git
git review -sgit pull origin master
git pull origin master
git checkout -b branche-1 master
git diff
git status
git add test1.php
git status
git diff --cached
git commit
git pull origin master
git rebase master
git review -R
cd .git
git fetch https://gerrit.wikimedia.org/r/mediawiki/core refs/changes/69/17069/1 && git checkout FETCH_HEAD
Le fichier test1.php est maintenant présent sur le dépôt de la fondation.
Module quiz
modifiercd Git
git clone ssh://login@gerrit.wikimedia.org:29418/mediawiki/extensions/Quiz
cd Quiz
vim Quiz.class.php
git add Quiz.class.php
git commit
git fetch
git push ssh://login@gerrit.wikimedia.org:29418/mediawiki/extensions/Quiz HEAD:refs/for/master
# Error with a change ID
git commit --amend
# Insertion of the change ID at the last line
git push ssh://login@gerrit.wikimedia.org:29418/mediawiki/extensions/Quiz HEAD:refs/for/master