Forum: PC-Programmierung git push origin HEAD:NAME vs origin HEAD:refs/for/NAME


von Felix (Gast)


Lesenswert?

guten morgen,

ich arbeite hier mit Github und das funktioniert an für sich auch ganz 
gut.

Ich habe aber eine Berständnisfrage. Wenn ich etwas auf einen Branch 
pushe.
Was ist der Unterschied zwischen
1
git push origin HEAD:BRANCHNAME
2
git push origin HEAD:refs/for/BRANCHNAME

von Herr Kaiser von der Mannheimer (Gast)


Lesenswert?

Felix schrieb:

> Was ist der Unterschied zwischengit push origin HEAD:BRANCHNAME
> git push origin HEAD:refs/for/BRANCHNAME

https://stackoverflow.com/questions/23241052/what-does-git-push-origin-head-mean

Google bedienen ist echt schwierig.

von Felix (Gast)


Lesenswert?

Herr Kaiser von der  Mannheimer schrieb:
> https://stackoverflow.com/questions/23241052/what-does-git-push-origin-head-mean
>
> Google bedienen ist echt schwierig.

Nun ja,
in deinem link ist aber auch nicht erklärt was der Unterschied zwischen
HEAD:BRANCHNAME
HEAD:refs/for/BRANCHNAME

also was genau bedeutet refs/for

von Mladen G. (mgira)


Lesenswert?

refs werden hier erklärt:
https://git-scm.com/book/en/v2/Git-Internals-Git-References

Wenn du dir internas obscure und seltsame Details von Git ansehen 
willst, dann wirst du damit nie fertig..

https://stevebennett.me/2012/02/24/10-things-i-hate-about-git/

Bitte melde dich an um einen Beitrag zu schreiben. Anmeldung ist kostenlos und dauert nur eine Minute.
Bestehender Account
Schon ein Account bei Google/GoogleMail? Keine Anmeldung erforderlich!
Mit Google-Account einloggen
Noch kein Account? Hier anmelden.