I just did my first push to the savannah repo, and it did not go as i expected: the web interface shows three commits instead of one.
The command used was: git push -v origin ttn/misc-maint:master but that's apparently not correct. What should i have used? (The intent is to only add the commit titled "[maint] Add...".) thi
