we don't want people merging master into their PRs. use rebase instead.