release: add tips for when to push prod changes
release: add tips for when to push prod changes

Change-Id: Iabfdd322acbc60ee16e5222ecdb261cd3a3c2cf9
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/257332
Tested-by: Mike Frysinger <8f3f75c74bd5184edcfa6534cab3c13a00a2f794@google.com>
Reviewed-by: David Pursehouse <e7b5c6a4a3dbaca972851f8c075e19915752593f@collab.net>

codetutil/git-repo,mer-tools/git-repo,GerritCodeReview/git-repo,couchbasedeps/git-repo,couchbasedeps/git-repo,codetutil/git-repo,TheQtCompany/git-repo,TheQtCompany/git-repo,mer-tools/git-repo,lipro-yocto/git-repo,lewixliu/git-repo,GerritCodeReview/git-repo,lipro-yocto/git-repo,aosp-mirror/tools_repo,lewixliu/git-repo,aosp-mirror/tools_repo