[Development] Suggestion to add labels when changing API

[Tor Arne Vestbø]

On 07/12/2017 17:22, Liang Qi wrote:
> The changes that are important to be merged up before other changes should have a special tag, such as API_CHANGE in the commit message. Then the script used to do the merges could stop and/or warn about commits with this tag in the message, which would make the merge easier. We can also apply this check into the submodule update script.

Can't the script detect this by looking for changes to public headers?

I also agree with Adam, this should be solved by proper dependency 
management _in_module_. We already have that through sync.profile 
pinning, why are we not using that?

tor arne