This is nice, but I'd like it to go a step further. I have my default branch set to 'dev' so that that's where pull requests go by default (otherwise I end up

This is nice, but I'd like it to go a step further. I have my default branch set to 'dev' so that that's where pull requests go by default (otherwise I end up with pull requests going to 'master', and having to manually merge them). However, I'd like the github project page to default to 'master', and I'd also only like issues closed when they're merged into 'master'. I guess what I'm asking for is more granularity in the default branch settings: I'd like a 'default branch' and a 'default branch for pull requests'.