I just pushed to code.dyne.org. It is not automatic, and I usually remember
to manually sync when I make a change. In this case, someone else merged on
github, I think using the web interface. There is a little work required to
automate this on the dyne.org side, I believe. Or, we can decide to
deprecate the dyne.org repo. Let's see what Jaromil wants to do.


On Sun, Sep 25, 2016 at 8:38 AM Jean-Baptiste Mardelle <jb@???>
wrote:

> Hi all,
>
> My recent linking patch (libm) was applied on frei0r's github repository:
>
> https://github.com/dyne/frei0r
>
> However, the patch did not make it to frei0r's main git repository:
>
> http://code.dyne.org/frei0r/
>
> This results in lots of crash reports on Kdenlive's bugtracker and
> confusion amongst packagers.
>
> Are these 2 repositories not synced ? Having 2 "official" git repositories
> with different content is really bad. Can someone fix this situation ?
>
> Thanks a lot
> Jean-Baptiste Mardelle
> _______________________________________________
> Frei0r mailing list - http://frei0r.dyne.org
> Free video plugins, minimal and cross-platform.
> https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/frei0r
>