Am 21.09.2013 08:59 schrieb "hermann meyer" <brummer-@web.de>:
>
> There is a big difference in a initial push, or a push on the fork button. If you push the fork button, the original maintainer can note that you have fork it, and could handle it as pull request. If you do a initial push, the original maintainer didn't know about it. 

The semantics of 'fork' are different on github no matter how you created your tree.
Nevertheless, Maurizio Gavioili made it clear that he was thinking of his work as a fork in the old sense.