From 808cd5ca7f28ec9324f1a5e828a88faf261759b1 Mon Sep 17 00:00:00 2001 From: Davide Alberani Date: Sat, 26 Aug 2017 14:29:15 +0200 Subject: [PATCH] github instructions --- git-crash-course.md | 14 +++++++++++--- index.html | 4 ++++ 2 files changed, 15 insertions(+), 3 deletions(-) diff --git a/git-crash-course.md b/git-crash-course.md index a21f464..acb4e2f 100644 --- a/git-crash-course.md +++ b/git-crash-course.md @@ -650,11 +650,19 @@ Altrimenti dovrà aggiungere un remote che punti al repository di *developer*, f ----- + + ## Forking workflow: bugia! -Github e amici NON suggeriranno di fare il fetch dal repository di developer, ma da un branch dell'upstream che è specifico della pull request; questo per poter continuare a collaborare con gli altri sviluppatori. +Github e amici non suggeriranno di aggiungere lo sviluppatore come remote, ma di fare direttamente il pull del suo topic branch. È sicuramente più pulito se ricevete molte pull request da tante persone differenti. -La sostanza del discorso resta invariata, ma ovviamente se usate un certo strumento è bene seguire le istruzioni che vi fornirà in caso dobbiate risolvere conflitti su una pull request. +Nel caso di Github, ad esempio: + +1. git checkout -b developer/bug-123 master +1. git pull https://github.com/developer/repo.git fix/bug-123 +1. git checkout master +1. git merge --no-ff developer/bug-123 +1. git push origin master ----- @@ -693,7 +701,7 @@ La sostanza del discorso resta invariata, ma ovviamente se usate un certo strume 1. se non lo ha già fatto, aggiunge un remote per il repository del developer: **git remote add developer https://git.lattuga.net/developer/repo.git** 1. crea una *local tracking branch* su cui lavorare: **git fetch developer fix/bug-123** -1. effettua il merge sul proprio master locale, risolvendo i conflitti: **git checkout master ; git merge fix/bug-123** +1. effettua il merge sul proprio master locale, risolvendo i conflitti: **git checkout master ; git merge --no-ff fix/bug-123** 1. invia il master al proprio repository remoto: **git push origin master** --- diff --git a/index.html b/index.html index 5a357a0..58ba5f8 100644 --- a/index.html +++ b/index.html @@ -19,6 +19,10 @@ text-align: left; } +.align-left h2, h3 { + text-align: center; +} +