Harry Johnson [off-list ref] writes:
This seems to work and I can see my changes when doing a git log from
the build repo. However, the actual working files have not been
updated nor can I figure out any way to get them updated.
This is a FAQ, isn't it?
https://git.wiki.kernel.org/index.php/GitFaq#Why_won.27t_I_see_changes_in_the_remote_repo_after_.22git_push.22.3F