This fixes #8083.  I also added a column for PushHistory.