Cherry pick master_tops restore
Restore master_tops functionality and add more documentation.
Fix stray if statement
Merge commit
Merge commit
Merge commit
Add full gpg public key.
merge commit
merge commot
merge commit
merge commit
pre-fix lint error
Add 2014.1.7 release notes
Merge pull request #14073 from cro/master_tops_docs

Master tops docs