Amend github.rst doc with information how to pull a branch after a rebase
Amend github.rst doc with information how to pull a branch after it was rebased on the gitlab server.
I thought that it is better to add what we have learned from the discussion in !43 (closed)
Edited by Janek Kozicki