Modification sur github.com, branche local n'est plus à jour

Comment push si la branche local n'est plus à jour ?

Le problème exposé dans ce sujet a été résolu.

Tu peux ne pas voir les commits de merge avec --no-merges.

Sinon on est d’accord que merger master dans une branche c’est généralement pas très beau. Dans ton cas, tu sais que si il y a une régression, c’est à cause des commits de master mergés. Si tu le fais dans l’autre sens tu sais que c’est la branche qui a fait la régression et c’est super important d’avoir le commit de merge dans ce cas-là. Mais tu peux être amené à le faire si tu ne veux pas faire des branches à rebaser.

Mais je parlais en particulier des rebase, pas des merge.

+0 -0

Non, c’est juste que ta commande fait une manipulation qui entraine une perte de données et peut introduire des erreurs. Forcer sa publication dans la foulée, c’est un peu comme si tu avais des documents auxquels tu tiens, que tu les mélanges avec d’autres documents sans contrôler que t’as rien foutu en l’air, puis que tu allais directement écraser le backup que tu as de l’état précédent. C’est aussi un peu comme si tu jouais à la roulette russe, mais tout seul.

+0 -0
parse_git_branch() {
    git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/\1/'
}

function zds_rebase {
    git fetch upstream
    git rebase upstream/dev
    echo "Appuyer sur \`y\` pour confirmer et PUSH la modification..."
    read -n 1
    echo ""
    if [ "$REPLY" = "y" ]; then
        git push origin $(parse_git_branch) -f
    else
        echo "Annulé."
    fi
}

Voila ! La commande est censée être parfaite maintenant. :pirate:

+0 -0
Connectez-vous pour pouvoir poster un message.
Connexion

Pas encore membre ?

Créez un compte en une minute pour profiter pleinement de toutes les fonctionnalités de Zeste de Savoir. Ici, tout est gratuit et sans publicité.
Créer un compte