On Thu, 26 Aug 2010, Brooks, Travis C. wrote:
> Why not use the options on git-merge? [...]  Probably not a big deal,
> but I like being able to see the correspondence between branch names
> and tickets.

When I merge, I naturally keep the original developer's branch name in
the log, hence my concerns about making it offline-intelligible.

However, most of the time the branches are ultra-simple and I prefer to
cherry-pick instead of merge, for purposes of having cleaner repo
history.  The developer's branch name does not get publicized in that
case, only the ticket number.

(Most of the branches are of ephemeral life anyway, after merge they go
away, so their ephemeral name should matter mostly for the purposes of
integration only.)

Best regards
-- 
Tibor Simko

Reply via email to