Github pull requests

[Jonas Pfefferle]

Hi @all,

Is the Apache Crail github repository synced both ways with the Apache Crail 
git? I.e. can we merge pull request in github?

Regards,
Jonas