Adding mob user to git repository

[Brazil]

The git repository at http://repo.or.cz/w/tinymux.git has added the
ability to accept pushes from anonymous users via a mob account and a
mob branch. The instructions on repo.or.cz are woefully insufficient,
but I've tried the following steps:

git-config -global user.name YourName
git-config -global user.email YourEmail
git clone git+ssh://m...@repo.or.cz/srv/git/tinymux.git
cd tinymux
git checkout -track -b mob origin/mob

After you've made and committed changes to this local mob branch (some
combination of git-cherry-pick, git-add, git-commit, or git-commit -
a):

git-checkout mob
git push

Changes on the mob branch could have come from anywhere, so be
careful.


Brazil