Currently there is no autonomous synchronization of the directory with the repository. Until now it's done by having a look at the online directory from time to time and to copy & paste it to the OpenSpaceLint repo. In addition it's added by hand here too.
A script that fetches the online directory and pushes to OpenSpaceLint and to this directory can easily be done as a daily cron job.
Currently there is no autonomous synchronization of the directory with the repository. Until now it's done by having a look at the online directory from time to time and to copy & paste it to the OpenSpaceLint repo. In addition it's added by hand here too.
A script that fetches the online directory and pushes to OpenSpaceLint and to this directory can easily be done as a daily cron job.