Github

Nous disposons d'un compte GitHub pour héberger le code produit dans le cadre de nos activités.

Pour pouvoir commiter dans ce dépôt, il vous faut un compte github et demander à être ajouté comme collaborateur

bases de git

Configurer git sur votre machine :

git config --global user.name "Your Name Here"
git config --global user.email "your_email@youremail.com"
git config --global credential.helper cache

Récupérer un dépôt en local (par exemple IllustraBot)

git clone https://github.com/fablab-lannion/IllustraBot.git
cd IllustraBot

Modifier un fichier

vi README.md                   # oui, ça ne fonctionne qu'avec vi ;)

Propager les modifications

git add README.md              # ajouter au dépot
git commit -m "update readme"  # sauvegarder la modification
git log -p                     # pour vérifier avant de propager
git push                       # envoyer sur le serveur

Mettre à jour sa copie locale

git pull

Ce sont les 1ères commandes dont vous pourriez avoir besoin. Les tutoriel git sont nombreux sur le web. A titre d'exemple celui-ci est pas mal du tout.

Liens

• Intégration Git dans eclipse
• Git pour Windows et une interface graphique

Ajouter un collaborateur à un dépôt

cette partie est pour les administrateurs

1. tu te loggue sur github avec le login fablab-lannion
2. tu tapes le password
3. tu entre dans le repository IllustraBot
4. en haut t'as des onglets Code/Network/...../Settings
5. tu clique sur Settings
6. puis collaborators
7. et la tu ajoute le login voulu