Remind developers to update HISTORY.md