@zhekov you can also use Github's tool "hub", then it's just:

$ git checkout -b whatever-topic
# hack hack hack
$ git pull-request

Though I think we should protect the master branch against force pushes (even if it doesn't solve the problem of difficulty making pull requests at all).

—
Reply to this email directly or view it on GitHub.