Jaromír Mikeš <mira.mikes at seznam.cz> writes: > I did a change to source here. > What is right process to get this change to git repository? git push <remote> replace <remote> with the remote referencing alioth. You can check your remotes in .git/config or with `git remote -v` -- Gruesse/greetings, Reinhard Tartler, KeyID 945348A4