Re: Github pull requests

[Julian Hyde]

No. 

Julian

> On Feb 12, 2018, at 08:03, Jonas Pfefferle <peppe...@japf.ch> wrote:
> 
> 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
>