Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Hov! Hvem siger stadig mester/herregren? 😵 #23

Open
drairi opened this issue Aug 1, 2022 · 1 comment
Open

Hov! Hvem siger stadig mester/herregren? 😵 #23

drairi opened this issue Aug 1, 2022 · 1 comment

Comments

@drairi
Copy link

drairi commented Aug 1, 2022

It's not 2019 anymore, come on!

@thorehusfeldt
Copy link
Owner

Mine brugseksemplerne anvender jo allesammen »hovedgren«, som jeg betragter som det korrekte begreb. (Engelsk gitterminologi er jo nu kommet efter det med forvalget main i stedet for master.)

Ordbogen blev skrevet før den engelsksprogede terminologiændring, så mit »hovedgren« er ældre end deres »main branch«, og jeg var dengang i syv sind om at gøre dette mere stringent. Desværre er der jo (dengang som nu) et synonymproblem på dansk med hensyn til »hoved«, som både skal dække »main« og »HEAD« (som jo er forskellige ting i git – det ene er en specifik gren, det andet er en specifik fastlægning på hver gren). Jeg tror, at jeg i sin tid nogenlunde fik tænkt det igennem (se opslagsordet »hoved«), så opslagsordet »mestergren« bør nok bare blive »hovedgren«, ganske som i brugseksemplerne. Det virkede lidt ekstremt dengang, men er sådan set blevet indhentet af virkeligheden.

Tænk det færdigt og send mig en haleanmodning.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants