# Instructions for publishing release

1. Create release on GitHub. Name git tag like "v1.x".
2. Run "cd tools && ./docs-push-gh-pages".
3. Run "cd tools && ./docker-push".