On 14.10.2016 19:42, Lukas Slebodnik wrote:
On (14/10/16 12:19), Petr Spacek wrote:
> I just noticed that Github repo
> is way out of date, with last commit from 2014.
> contains much newer things.
> Can we either set up synchronization of these two, or remove the outdated one?
Feel free to contact Patrick U. and ask for synchronisation from
official upstream repo https://pagure.io/ding-libs
This can be done only be repo owner because it requires importing a new SSH
key into Github.
Petr Spacek @ Red Hat