<div dir="ltr">Hi,<div><br></div><div>Just some notes about pushing the changes to git repository.</div><div><br></div><div>Apparently it's not so easy to control from server side and prevent you from ruining the full repository. So rule of thumb for the young players is to NOT run command if your'e unsure about what it does. We always have loads of developers in IRC who could help you.<br>
</div><div><br></div><div>So basically you can do whatever you want in your own branch apart form one thing:</div><div><br></div><div>Don't add/modify binary files unless it's really needed. Some folks loves to change their splashscreens or put binary libraries. Such things increases repository size real quick, and since we're using Git it'll make everyone's working copy grow real quick as well.</div>
<div><br></div><div>When you're pushing stuff to the server, always make sure you're pushing to your branch only. Don't push to master or other's branches. CLI for this is:</div><div><br></div><div>$ git push origin your_branch_name</div>
<div><br></div><div>Not sure about `GUI tools, but for them you can easily ask folks in IRC.</div><div><br></div><div>Think this are the only things which are required ti keep our repository in a sane state.</div><div><br>
</div><div>And please never hesticate to ask for the help! Ask questions here or in IRC. We'll reply as soon as possible.</div><div><br></div><div>And for now, happy coding!</div><div><div><br></div>-- <br><div><span style="color:rgb(102,102,102)">With best regards, Sergey Sharybin</span></div>
</div></div>