usethesource / usethesource.github.io

Organization website for UseTheSource
1 stars 2 forks source link

move https://github.com/cwi-swat/update-site-nexus-link-script to usethesource #8

Closed jurgenvinju closed 4 years ago

jurgenvinju commented 4 years ago

this is an essential part of the usethesource infrastructure.

jurgenvinju commented 4 years ago

votes:

@DavyLandman is the project's owner.

DavyLandman commented 4 years ago

Ok, I agree, I should also rewrite it somewhere, so that it generates composite sites, so rollback works.

Although that's an eclipse specific thing, so maybe delay that a bit..

jurgenvinju commented 4 years ago

ok. even with the LSP we'd still have Eclipse plugins to deploy.

jurgenvinju commented 4 years ago

Moved to https://github.com/usethesource/update-site-nexus-link-script

DavyLandman commented 4 years ago

I'll update the server, as the warning says: https://github.com/usethesource/update-site-nexus-link-script/blob/master/cron-runner ;)

DavyLandman commented 4 years ago

my bad, we haven't changed the package name, so all good :)