errore commit git

[ZeroUno]

Ho un git repository con due branch ma per errore ho committato (e pushato su github) delle modifiche sul branch sbagliato.
E' possibile "spostare" quelle modifiche sull'altro branch.

edit: dettaglio un po' va. Nel frattempo mi sto studiando per bene git rebase, che non ho mai usato, e forse è quello che fa per me
la situazione attuale è

Codice: Seleziona tutto

devel                   no altri commit
                       /
master    A---B---C---D---E---F

mentre doveva essere

Codice: Seleziona tutto

devel                   E---F
                       /
master    A---B---C---D

[ZeroUno]

Questo l'ho fatto.
Ecco come:

Codice: Seleziona tutto

# git checkout master
# git branch devel
# git checkout devel
# git push origin origin:refs/heads/devel
# git checkout master
# git reset --hard D
# git push -f

ed ho ottenuto in locale quello che volevo.

[fgcl2k]

Questo l'ho fatto.
Ecco come:

Codice: Seleziona tutto

# git checkout master
# git branch devel
# git checkout devel
# git push origin origin:refs/heads/devel
# git checkout master
# git reset --hard D
# git push -f

ed ho ottenuto in locale quello che volevo.

Come sempre git è semplice e intuitivo.
A parte gli scherzi, se hai tempo potresti aggiungere una riga di commento alle istruzioni? Mi interessa in particolare

Codice: Seleziona tutto

# git push origin origin:refs/heads/devel

Presumo che origin sia il repository che hai clonato.

[ZeroUno]

no, origin è la stringa 'origin' , che tradotto dall'inglese significa 'origine (dei dati)' e non 'originale'


cat .git/config

quella riga crea un branch remoto e lo associa a quello corrente