on big releases spam in hackernews and reddit/r/cpp/gamedev/Cplusplus/programming

how to deal with pull requests for the main branch instead of the dev branch

• http://stackoverflow.com/questions/9135913/merge-pull-request-to-a-different-branch-than-default-in-github
• git fetch origin pull/ID/head:BRANCHNAME