Heya, How about we name the branches for coverity fixes after the relevant CID? Something like /hotfix/CID-xxxxxx. That would make it very easy for everyone to track which coverity fixes are tracked where and who is working on which CID.
The name hotfix coverity fix is a bit too generic and will probably not help developers pinpoint where an issue was introduced. Cheers, Hugo
