Re: [PATCH v3 1/3] git-submodule add: Add -r/--record option

"W. Trevor King" [off-list ref] writes:

The superproject gitlink should only be updated after

  $ git submodule update --pull

A plain

  $ git submodule update

would still checkout the previously-recorded SHA, not the new upstream
tip.

Hrm, doesn't it make the "float at the tip of a branch" mode
useless, though?