diff options
-rw-r--r-- | ci-prod.ick | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index fb6c730..56fedd5 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -438,23 +438,6 @@ projects: repo: ssh://git@git.liw.fi/obnam.org pipelines: *website_pipelines - - project: 256.liw.fi - parameters: - <<: *website_params - workspace_name: 256.liw.fi - rsync_src: html - rsync_target: ickliwfi@http.liw.fi:/srv/http/256.liw.fi - sources: - - name: pandoc-plugin - ref: master - location: ikiwiki-pandoc - repo: https://github.com/sciunto-org/ikiwiki-pandoc.git - - name: source - ref: main - location: src - repo: ssh://git@git.liw.fi/256.liw.fi - pipelines: *website_pipelines - - project: noir.liw.fi parameters: <<: *website_params |