Timo Kreuzer wrote: > We should also avoid compiling trunk on branch commits, > a functionality I miss since a long time. Yes, is there a way to instruct the build server to compile from a branch? I think it should be, if header file changes will first go into a separate branch and then will be merged into the trunk from time to time.