Kore release procedure:
$next = next release $prev = previous release
kore:
$ git checkout 4.x-releng
$ git merge master
[update RELEASE, README.md]
$ git commit -a -m "update for
kore-site:
$ cp ~/kore-$next* webroot/releases
$ cp webroot/releases/$prev.html webroot/releases/$next.html
[update all relevant links]
[write changelog on release page]
$ git add webroot && git commit -a -m "update to
[on nightfall]
$ cd kore-site && git pull origin master && make install-docs
kore-docker:
$ cp -R $prev