Avoid incorrectly losing all-pubs checkmark

* Which could happen on Reset or Copy depending on
  the situation.

Change-Id: I319626c51eb3d6d4fa60acae2b774fecae7f1369