Age | Commit message (Expand) | Author |
---|---|---|
2020-11-11 | Conflict in guix-deploy | Pjotr Prins |
2020-11-11 | Deployment | Pjotr Prins |
2020-11-10 | virtuoso: no-cache | Pjotr Prins |
2020-11-10 | virtuoso: header change | Pjotr Prins |
2020-11-10 | virtuoso: Added a --no-cache option | Pjotr Prins |
2020-09-27 | Virtuoso uploader: instructions | Pjotr Prins |
2020-09-27 | Virtuoso uploader: explicit output | Pjotr Prins |
2020-06-15 | virtuoso: remove graph before update | Pjotr Prins |
2020-05-20 | Virtuoso update in CRON | Pjotr Prins |
2020-05-13 | Virtuoso uploader: always upload countries and labels | Pjotr Prins |
2020-05-13 | Virtuoso: split named graphs | Pjotr Prins |
2020-05-12 | Virtuoso uploader: does not delete graph yet | Pjotr Prins |
2020-05-12 | Update graph script | Pjotr Prins |
2020-04-24 | Add script that updates Virtuoso - run as a CRON job | Pjotr Prins |