« Git/pull-request » : différence entre les versions

Ne pas lancer de <code>pull</code> après un <code>rebase</code> sous peine d'inclure dans sa branche locale, les commits effectuereffectués entre -temps ailleurssur dans sala branche localeprincipale.