It seems that (at least my github pages) are acting a bit differently. When creating a Pull Request make sure that you create it against *develop* and not *master*:
[image: Inline image 1] I would typically just ignore this and click through but that led me to creating a PR with 100s of changes. I'll be double-checking for the next PR... --Jens