Actually if the fork is solely used to make PRs you never have to push the ~master branch to the fork. Just don't forget to pull the origin before making a change a push the feature/fix branch on your fork... Although if you're a bit obsessional it's nice to have the GH message "this fork is even with its origin"
That may be true, but as it's only one extra command then why not do it? And I am that obsessed about the text on GitHub telling me it's up to date!
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.