Yep, no need to change this anyway, since all pushes to a given pull request branch will cause builds under yui3's Travis space.