[webkit-dev] Patch to prepend the name of the git branch to the
David D. Kilzer
ddkilzer at kilzer.net
Mon Nov 19 09:59:56 PST 2007
Thanks for the patch, Adam!
However, the process for contributing code states that you should create a bug
on <http://bugs.webkit.org/> and post the patch there with the "review?" flag
set. We generally don't discuss or review individual patches on the mailing
Adam Treat <treat at kde.org> wrote:
> This patch will prepend the git branch name if you are in one to the
> $baseProductDir if you have the appropriate key/value pair in your git config
> The use case is a developer who is switching between branches and testing but
> doesn't want to clobber his build everytime. The default is off and you can
> override the global setting on a branch by branch basis.
> Comments and review welcome...
More information about the webkit-dev