Test PR to exercise the new post merge hook on travis

Let's see if this works.