[Bro-Dev] Git merge and submodules

[Robin Sommer]

> Since the same thing happens in the end, maybe it's fine to just leave it to developer preference (as long as they try to avoid spamming the commit log with purely "update submodule" type commits if they choose #2).

Yeah, sounds right for now. If we had a reliable way to identify
"update submodule" commits, the notifier script could suppress them
on topic branches, but not sure how to recognize them. 

Otherwise, likewise ACK on the rest. 

> But the name might be confusing because it actually doesn't involve the submodule update command.

Other suggestions? "move-submodules"?

Robin

-- 
Robin Sommer * Phone +1 (510) 722-6541 * robin at icir.org
ICSI/LBNL    * Fax   +1 (510) 666-2956 *   www.icir.org