Follow-up Comment #4, sr #109041 (project administration): Thank you. I had made all the preparations and was just preparing the following post ;-).
1. Thank you very much, it is much better now. 2. I was just curious about the Git permissions (mainly for the future), thank you very much for clarifying. For the time being it is not an important issue since we are only two members for now. But the project Git repo was just announced yesterday. So if we do attract more developers, it might be good to set such a system up, to avoid mistakes. Where only the maintainer can push to master, while the other developers can push to other branches. 3. Thanks a lot for addressing the issue so promptrly. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/support/?109041> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/