16 Aug
2007
16 Aug
'07
3:10 a.m.
On 8/15/07, Jerry Van Baren vanbaren@cideas.com wrote:
Hi all,
Trivia: I used the branch "fdt-cmd" initially and am using "fdt" currently, and noticed Kim used "83xx". If we standardize on "merge" (or, if someone has a better name...), it will lessen confusion and simplifies the instructions. In addition, since it is difficult (impossible?) for custodians to remove branches from their denx.de subrepos, it lessens the dead branch namespace pollution.
I'm pretty sure that if you do a "git push -f" after you delete a branch, that change will occur in the upstream repo.
Andy