Howtos for github: https://help.github.com/articles/using-pull-requests https://help.github.com/articles/fork-a-repo J -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://d3s.mff.cuni.cz/pipermail/deeco/attachments/20131030/6732cf60/attachment.html>