+ [2015-05-07T05:11:03Z] wethu hello, what happens to pull requests on a branch thats been merged into master, but we want to delete the branch, the PR haven't been merged in yet, PR get nuked too?